diff --git a/htdocs/sql/libraries/navigation_header.inc.php b/htdocs/sql/libraries/navigation_header.inc.php new file mode 100755 --- /dev/null +++ b/htdocs/sql/libraries/navigation_header.inc.php @@ -0,0 +1,108 @@ +'; + } 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 +?>