diff --git a/htdocs/sql/libraries/navigation_header.inc.php b/htdocs/sql/libraries/navigation_header.inc.php deleted file mode 100755 --- a/htdocs/sql/libraries/navigation_header.inc.php +++ /dev/null @@ -1,108 +0,0 @@ -'; - } elseif (@file_exists($GLOBALS['pmaThemeImage'] . 'pma_logo2.png')) { - $logo = ''; - } - - echo '' . "\n"; -} // end of display logo -?> -' . "\n"; - -/** - * Displays the MySQL servers choice form - */ -if ($GLOBALS['cfg']['LeftDisplayServers'] && (count($GLOBALS['cfg']['Servers']) > 1 || $server == 0 && count($GLOBALS['cfg']['Servers']) == 1)) { - echo '
'; - include './libraries/select_server.lib.php'; - PMA_select_server(true, true); - echo '

'; -} // end if LeftDisplayServers -?>