diff --git a/adminer/include/design.inc.php b/adminer/include/design.inc.php
index 5e0c3f25..b003ad39 100644
--- a/adminer/include/design.inc.php
+++ b/adminer/include/design.inc.php
@@ -2,13 +2,14 @@
function page_header($title, $error = "", $breadcrumb = array(), $title2 = "") {
global $LANG, $VERSION, $adminer;
header("Content-Type: text/html; charset=utf-8");
+ $title_all = $title . (strlen($title2) ? ": " . h($title2) : "");
?>
-<?php echo $title . (strlen($title2) ? ": " . h($title2) : "") . (strlen($_GET["server"]) && $_GET["server"] != "localhost" ? h("- $_GET[server]") : "") . " - " . $adminer->name(); ?>
+<?php echo $title_all . (strlen($_GET["server"]) && $_GET["server"] != "localhost" ? h("- $_GET[server]") : "") . " - " . $adminer->name(); ?>
@@ -37,7 +38,7 @@ function page_header($title, $error = "", $breadcrumb = array(), $title2 = "") {
}
echo "$title\n";
}
- echo "$title" . (strlen($title2) ? ": " . h($title2) : "") . "
\n";
+ echo "$title_all
\n";
if ($_SESSION["messages"]) {
echo "" . implode("
\n", $_SESSION["messages"]) . "
\n";
$_SESSION["messages"] = array();