move server selection in main to the 'right' (below 'phpMyAdmin')

libraries/left_header.inc.php

@@ -85,6 +85,7 @@ echo '</div>' . "\n";
  */
 if ($GLOBALS['cfg']['LeftDisplayServers'] && (count($GLOBALS['cfg']['Servers']) > 1 || $server == 0 && count($GLOBALS['cfg']['Servers']) == 1)) {
     include('./libraries/select_server.lib.php');
-    PMA_select_server(TRUE, TRUE);
+    PMA_select_server(true, true);
+    echo '<hr />';
 } // end if LeftDisplayServers
 ?>

libraries/select_server.lib.php

@@ -99,9 +99,7 @@ function PMA_select_server($not_only_options, $ommit_fieldset)
         echo '<noscript>';
         echo '<input type="submit" value="' . $GLOBALS['strGo'] . '" />';
         echo '</noscript>';
-        if ($ommit_fieldset) {
-            echo '<hr />';
-        } else {
+        if (! $ommit_fieldset) {
             echo '</fieldset>';
         }
         echo '</form>';