diff --git a/_compile.php b/_compile.php index a408abdf..b6068689 100644 --- a/_compile.php +++ b/_compile.php @@ -170,7 +170,7 @@ if ($_COOKIE["lang"]) { $file = preg_replace_callback("~lang\\('((?:[^\\\\']+|\\\\.)*)'([,)])~s", 'lang_ids', $file); } $replace = 'preg_replace("~\\\\\\\\?.*~", "", $_SERVER["REQUEST_URI"]) . "?file=\\0&version=' . $VERSION; -$file = preg_replace('~default\\.css|favicon\\.ico|(up|down|plus|minus)\\.gif~', '', $file); +$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('error_reporting(E_ALL & ~E_NOTICE);', 'error_reporting(E_ALL & ~E_NOTICE); if (isset($_GET["file"])) { @@ -181,6 +181,9 @@ if (isset($_GET["file"])) { } elseif ($_GET["file"] == "default.css") { header("Content-Type: text/css"); ?>' . preg_replace('~\\s*([:;{},])\\s*~', '\\1', file_get_contents("default.css")) . '' . file_get_contents("functions.js") . 'select_db($_GET["db"]) : isset($_GET["sql"]) | ?> $suhosin) {
-: " /> : " maxlength="60" />
@@ -151,7 +143,7 @@ if ($dbh->server_info >= 5.1) { ?>