make serverlist a real html-list

This commit is contained in:
Sebastian Mendel
2006-07-06 07:51:33 +00:00
parent 5b83f20ccb
commit c15a853354

View File

@@ -43,7 +43,7 @@ function PMA_select_server($not_only_options, $ommit_fieldset)
echo '<option value="">(' . $GLOBALS['strServers'] . ') ...</option>' . "\n";
} elseif ($list) {
echo $GLOBALS['strServer'] . ':<br />';
echo '<ul>';
echo '<ul id="list_server">';
}
foreach ($GLOBALS['cfg']['Servers'] as $key => $server) {