From: jakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Date: Fri, 19 Jun 2009 05:04:15 +0000 (+0000)
Subject: Display server in title (thanks to Marek Smolik)
X-Git-Tag: v3.0.0~805
X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=a643ac0eeff461b32bb14c9f7431331c639b458b;p=adminer.git

Display server in title (thanks to Marek Smolik)

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

diff --git a/adminer/include/design.inc.php b/adminer/include/design.inc.php
index 1a1b20b2..cf4083ce 100644
--- a/adminer/include/design.inc.php
+++ b/adminer/include/design.inc.php
@@ -9,7 +9,7 @@ function page_header($title, $error = "", $breadcrumb = array(), $title2 = "") {
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
 <meta http-equiv="Content-Script-Type" content="text/javascript" />
 <meta name="robots" content="noindex" />
-<title><?php echo $title . (strlen($title2) ? ": " . htmlspecialchars($title2) : "") . " - " . lang('Adminer'); ?></title>
+<title><?php echo $title . (strlen($title2) ? ": " . htmlspecialchars($title2) : "") . (strlen($_GET["server"]) ? htmlspecialchars("- $_GET[server]") : "") . " - " . lang('Adminer'); ?></title>
 <link rel="shortcut icon" type="image/x-icon" href="favicon.ico" />
 <link rel="stylesheet" type="text/css" href="default.css<?php // Ondrej Valka, http://valka.info ?>" />
 <?php if (file_exists("adminer.css")) { ?>