"); } $outputPath = $argv[1]; function processPhpFile($phpfile, $systemlib_php) { $firstchar = true; $contents = file_get_contents($phpfile); $i = 0; $k = strpos($contents, "\n") + 1; $header = trim(substr($contents, 0, $k)); if ($header !== "