original_string: public function update_header_js($js) {
          // Update the names of the the configFn variables.
          // The PHP json_encode function cannot handle literal names so we have to wrap
          // them in @ and then replace them with literals of the same function name.
          foreach ($this->jsconfigfunctions as $functionname => $function) {
              $js = str_replace('"@' . $functionname . '@"', $functionname, $js);
          }
          return $js;
      }
code: public function update_header_js($js) {
          // Update the names of the the configFn variables.
          // The PHP json_encode function cannot handle literal names so we have to wrap
          // them in @ and then replace them with literals of the same function name.
          foreach ($this->jsconfigfunctions as $functionname => $function) {
              $js = str_replace('"@' . $functionname . '@"', $functionname, $js);
          }
          return $js;
      }
code_tokens: public function update_header_js ( $ js ) { // Update the names of the the configFn variables. // The PHP json_encode function cannot handle literal names so we have to wrap // them in @ and then replace them with literals of the same function name. foreach ( $ this -> jsconfigfunctions as $ functionname => $ function ) { $ js = str_replace ( '"@' . $ functionname . '@"' , $ functionname , $ js ) ; } return $ js ; }
docstring: Update the header JavaScript with any required modification for the YUI Loader.
  
  @param $js String The JavaScript to manipulate.
  @return String the modified JS string.
docstring_tokens: Update the header JavaScript with any required modification for the YUI Loader .