diff --git a/htdocs/sql/libraries/select_server.lib.php b/htdocs/sql/libraries/select_server.lib.php
deleted file mode 100755
--- a/htdocs/sql/libraries/select_server.lib.php
+++ /dev/null
@@ -1,113 +0,0 @@
-<?php
-/* vim: set expandtab sw=4 ts=4 sts=4: */
-/**
- * Code for displaying server selection written by nijel
- *
- * @version $Id: select_server.lib.php 10142 2007-03-20 10:32:13Z cybot_tm $
- */
-
-/**
- * display server selection in list or selectbox form, or option tags only
- *
- * @globals $lang
- * @globals $convcharset
- * @uses    $GLOBALS['cfg']['DisplayServersList']
- * @uses    $GLOBALS['strServer']
- * @uses    $GLOBALS['cfg']['Servers']
- * @uses    $GLOBALS['strGo']
- * @uses    implode()
- * @uses    htmlspecialchars()
- * @param   boolean $not_only_options   whether to include form tags or not
- * @param   boolean $ommit_fieldset     whether to ommit fieldset tag or not
- */
-function PMA_select_server($not_only_options, $ommit_fieldset)
-{
-    global $lang, $convcharset;
-
-    // Show as list?
-    if ($not_only_options) {
-        $list = $GLOBALS['cfg']['DisplayServersList'];
-        $not_only_options =! $list;
-    } else {
-        $list = false;
-    }
-
-    if ($not_only_options) {
-        echo '<form method="post" action="index.php" target="_parent">';
-
-        if (! $ommit_fieldset) {
-            echo '<fieldset>';
-        }
-        echo '<label for="select_server">' . $GLOBALS['strServer'] . ':</label> ';
-
-        echo '<select name="server" id="select_server"'
-            . ' onchange="if (this.value != \'\') this.form.submit();">';
-        echo '<option value="">(' . $GLOBALS['strServers'] . ') ...</option>' . "\n";
-    } elseif ($list) {
-        echo $GLOBALS['strServer'] . ':<br />';
-        echo '<ul id="list_server">';
-    }
-
-    foreach ($GLOBALS['cfg']['Servers'] as $key => $server) {
-        if (empty($server['host'])) {
-            continue;
-        }
-
-        if (!empty($GLOBALS['server']) && (int) $GLOBALS['server'] === (int) $key) {
-            $selected = 1;
-        } else {
-            $selected = 0;
-        }
-
-        if (!empty($server['verbose'])) {
-            $label = $server['verbose'];
-        } else {
-            $label = $server['host'];
-            if (!empty($server['port'])) {
-                $label .= ':' . $server['port'];
-            }
-        }
-        if (! empty($server['only_db'])) {
-            if (! is_array($server['only_db'])) {
-                $label .= ' - ' . $server['only_db'];
-            // try to avoid displaying a too wide selector
-            } elseif (count($server['only_db']) < 4) {
-                $label .= ' - ' . implode(', ', $server['only_db']);
-            }
-        }
-        if (!empty($server['user']) && $server['auth_type'] == 'config') {
-            $label .= '  (' . $server['user'] . ')';
-        }
-
-        if ($list) {
-            echo '<li>';
-            if ($selected && !$ommit_fieldset) {
-                echo '<b>' . htmlspecialchars($label) . '</b>';
-            } else {
-                echo '<a class="item" href="index.php?server=' . $key . '&amp;lang=' . $lang . '&amp;convcharset=' . $convcharset . '" target="_top">' . htmlspecialchars($label) . '</a>';
-            }
-            echo '</li>';
-        } else {
-            echo '            <option value="' . $key . '" ' . ($selected ? ' selected="selected"' : '') . '>' . htmlspecialchars($label) . '</option>' . "\n";
-        }
-    } // end while
-
-    if ($not_only_options) {
-        echo '</select>';
-        ?>
-        <input type="hidden" name="lang" value="<?php echo $lang; ?>" />
-        <input type="hidden" name="convcharset" value="<?php echo $convcharset; ?>" />
-        <?php
-        // Show submit button if we have just one server (this happens with no default)
-        echo '<noscript>';
-        echo '<input type="submit" value="' . $GLOBALS['strGo'] . '" />';
-        echo '</noscript>';
-        if (! $ommit_fieldset) {
-            echo '</fieldset>';
-        }
-        echo '</form>';
-    } elseif ($list) {
-        echo '</ul>';
-    }
-}
-?>