diff --git a/_compile.php b/_compile.php index 08ac0396..a408abdf 100644 --- a/_compile.php +++ b/_compile.php @@ -1,4 +1,6 @@ ', $file); -$file = preg_replace('~default\\.css|arrow\\.gif~', '" . preg_replace("~\\\\\\\\?.*~", "", $_SERVER["REQUEST_URI"]) . "?file=\\0', $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('~arrow\\.gif~', '" . ' . $replace, $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", filemtime(__FILE__) + 365*24*60*60) . " GMT"); + header("Expires: " . gmdate("D, d M Y H:i:s", time() + 365*24*60*60) . " GMT"); if ($_GET["file"] == "favicon.ico") { header("Content-Type: image/x-icon"); echo base64_decode("' . base64_encode(file_get_contents("favicon.ico")) . '"); } elseif ($_GET["file"] == "default.css") { header("Content-Type: text/css"); - ?>' . preg_replace('~\\s*([:;{},])\\s+~', '\\1', file_get_contents("default.css")) . '' . preg_replace('~\\s*([:;{},])\\s*~', '\\1', file_get_contents("default.css")) . 'select_db($_GET["db"]) : isset($_GET["sql"]) | echo '
\n"; echo '\n"; echo "" . lang('MySQL version: %s through PHP extension %s', "server_info < 4.1 ? " class='binary'" : "") . ">$dbh->server_info", "$dbh->extension") . "
\n"; + echo "" . lang('phpMinAdmin version: %s', "$VERSION") . ", " . lang('current version') . "" . (version_compare($VERSION, $_COOKIE["phpMinAdmin_version"]) < 0 ? ": " . htmlspecialchars($_COOKIE["phpMinAdmin_version"]) . "" : "") . "
\n"; + if (!isset($_COOKIE["phpMinAdmin_version"])) { + ?> + +" . lang('Logged as: %s', "" . htmlspecialchars($dbh->result($dbh->query("SELECT USER()"))) . "") . "\n"; } page_footer("db"); diff --git a/design.inc.php b/design.inc.php index 3ece5026..0f6454b5 100644 --- a/design.inc.php +++ b/design.inc.php @@ -1,6 +1,6 @@ @@ -9,9 +9,12 @@ function page_header($title, $error = "", $breadcrumb = array(), $title2 = "") { -