diff --git a/adminer/include/design.inc.php b/adminer/include/design.inc.php index a74b6913..efdc7a9d 100644 --- a/adminer/include/design.inc.php +++ b/adminer/include/design.inc.php @@ -24,7 +24,7 @@ function page_header($title, $error = "", $breadcrumb = array(), $title2 = "") { <?php echo $title_page; ?> - + diff --git a/adminer/static/default.css b/adminer/static/default.css index 7b8e9bd7..76aa335f 100644 --- a/adminer/static/default.css +++ b/adminer/static/default.css @@ -1,3 +1,4 @@ +/** @author Ondrej Valka, http://valka.info */ body { color: #000; background: #fff; font: 90%/1.25 Verdana, Arial, Helvetica, sans-serif; margin: 0; } a { color: blue; } a:visited { color: navy; } diff --git a/compile.php b/compile.php index 5a6e3894..39356558 100644 --- a/compile.php +++ b/compile.php @@ -173,7 +173,7 @@ function php_shrink($input) { } function minify_css($file) { - return preg_replace('~\\s*([:;{},])\\s*~', '\\1', $file); + return preg_replace('~\\s*([:;{},])\\s*~', '\\1', preg_replace('~/\\*.*\\*/~sU', '', $file)); } function compile_file($match) { @@ -261,7 +261,7 @@ foreach (array("adminer", "editor") as $project) { } $file = str_replace('' . "\n", "", $file); $file = preg_replace_callback("~compile_file\\('([^']+)', '([^']+)'\\);~", 'compile_file', $file); // integrate static files - $replace = 'h(preg_replace("~\\\\\\\\?.*~", "", $_SERVER["REQUEST_URI"])) . "?file=\\1&version=' . $VERSION; + $replace = 'h(preg_replace("~\\\\\\\\?.*~", "", ME)) . "?file=\\1&version=' . $VERSION; $file = preg_replace('~\\.\\./adminer/static/(loader\\.gif)~', "'+location.pathname+'?file=\\1&version=$VERSION", $file); $file = preg_replace('~\\.\\./adminer/static/(default\\.css|functions\\.js|favicon\\.ico)~', '', $file); $file = preg_replace('~\\.\\./adminer/static/([^\'"]*)~', '" . ' . $replace, $file);