diff --git a/_compile.php b/_compile.php index ce152f30..c761fa0d 100644 --- a/_compile.php +++ b/_compile.php @@ -173,7 +173,6 @@ if ($_COOKIE["lang"]) { $replace = 'preg_replace("~\\\\\\\\?.*~", "", $_SERVER["REQUEST_URI"]) . "?file=\\0&version=' . $VERSION; $file = preg_replace('~default\\.css|functions\\.js|favicon\\.ico|(up|down|plus|minus)\\.gif~', '', $file); $file = preg_replace('~arrow\\.gif~', '" . ' . $replace, $file); -$file = str_replace("externals/jush/", "http://jush.sourceforge.net/", $file); $file = str_replace('error_reporting(E_ALL & ~E_NOTICE);', 'error_reporting(E_ALL & ~E_NOTICE); if (isset($_GET["file"])) { header("Expires: " . gmdate("D, d M Y H:i:s", time() + 365*24*60*60) . " GMT"); @@ -198,6 +197,7 @@ if (isset($_GET["file"])) { } exit; }', $file); +$file = str_replace("externals/jush/", "http://jush.sourceforge.net/", $file); $file = php_shrink($file); fwrite(fopen($filename, "w"), $file); echo "$filename created.\n";