From c55e55c478cce47c776c45f0843f833a711437b3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <michal@cihar.com>
Date: Wed, 23 Nov 2005 18:30:23 +0000
Subject: [PATCH] Remove unused code.

---
 ChangeLog      |  1 +
 header.inc.php | 19 ++-----------------
 2 files changed, 3 insertions(+), 17 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index f3199019b..fffe6618a 100755
--- a/ChangeLog
+++ b/ChangeLog
@@ -51,6 +51,7 @@ $Source$
     * lang/*: Added missing $strInvalidServerHostname.
     * libraries/auth/cookie.auth.lib.php: Move error message on top of page.
     * lang/swedish: Update, thanks to Bjorn T. Hallberg - bjornth.
+    * header.inc.php: Remove unused code.
 
 2005-11-22 Sebastian Mendel <cybot_tm@users.sourceforge.net>
     * added test/theme.php: for testing themes
diff --git a/header.inc.php b/header.inc.php
index fa9c06e86..ae174388c 100644
--- a/header.inc.php
+++ b/header.inc.php
@@ -24,23 +24,8 @@ if (empty($GLOBALS['is_header_sent'])) {
 
     require_once('./libraries/header_http.inc.php');
     require_once('./libraries/header_meta_style.inc.php');
-    /* replaced 2004-05-05 by Michael Keck (mkkeck)
-    $title     = '';
-    if (isset($GLOBALS['db'])) {
-        $title .= str_replace('\'', '\\\'', $GLOBALS['db']);
-    }
-    if (isset($GLOBALS['table'])) {
-        $title .= (empty($title) ? '' : '.') . str_replace('\'', '\\\'', $GLOBALS['table']);
-    }
-    if (!empty($GLOBALS['cfg']['Server']) && isset($GLOBALS['cfg']['Server']['host'])) {
-        $title .= (empty($title) ? 'phpMyAdmin ' : ' ')
-               . sprintf($GLOBALS['strRunning'], (empty($GLOBALS['cfg']['Server']['verbose']) ? str_replace('\'', '\\\'', $GLOBALS['cfg']['Server']['host']) : str_replace('\'', '\\\'', $GLOBALS['cfg']['Server']['verbose'])));
-    }
-    $title     .= (empty($title) ? '' : ' - ') . 'phpMyAdmin ' . PMA_VERSION;
-    */
-    /* the new one
-     * 2004-05-05: replaced by Michael Keck (mkkeck)
-     */
+
+    // generate title
     $title     = '';
     if ($cfg['ShowHttpHostTitle']) {
         $title .= (empty($GLOBALS['cfg']['SetHttpHostTitle']) && isset($_SERVER['HTTP_HOST']) ? $_SERVER['HTTP_HOST'] : $GLOBALS['cfg']['SetHttpHostTitle']) . ' / ';