From 5996773bf72f85291b3765d0b1db64f2890d012f Mon Sep 17 00:00:00 2001 From: ninadsp Date: Fri, 30 Jul 2010 20:34:06 +0530 Subject: [PATCH] Removed the duplicate table link being shown in the serverinfo div. Most probably caused due to an incorrect merge resolution --- libraries/header.inc.php | 8 -------- 1 file changed, 8 deletions(-) diff --git a/libraries/header.inc.php b/libraries/header.inc.php index 7df888ce1..a42518a98 100755 --- a/libraries/header.inc.php +++ b/libraries/header.inc.php @@ -121,14 +121,6 @@ if (!$GLOBALS['is_ajax_request']) { } elseif (strlen($GLOBALS['table'])) { require_once './libraries/tbl_info.inc.php'; - echo $separator; - printf($item, - $GLOBALS['cfg']['DefaultTabTable'], - PMA_generate_common_url($GLOBALS['db'], $GLOBALS['table']), - str_replace(' ', ' ', htmlspecialchars($GLOBALS['table'])), - (isset($GLOBALS['tbl_is_view']) && $GLOBALS['tbl_is_view'] ? __('View') : __('Table')), - (isset($GLOBALS['tbl_is_view']) && $GLOBALS['tbl_is_view'] ? 'b_views' : 's_tbl') . '.png'); - echo $separator; printf($item, $GLOBALS['cfg']['DefaultTabTable'],