Change externals after including the file

git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@628 7c3ca157-0c34-0410-bff1-cbf682f78f5c

diff --git a/_compile.php b/_compile.php
index ce152f300001f80455737fae1a9dcadf17b2d36b..c761fa0d72c452238974cf087f7ebe5b634d11cf 100644 (file)
--- 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~', '<?php echo ' . $replace . '"; ?>', $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";