diff --git a/libraries/select_server.lib.php b/libraries/select_server.lib.php index 2107e3b7e2..c5d921162f 100644 --- a/libraries/select_server.lib.php +++ b/libraries/select_server.lib.php @@ -9,21 +9,19 @@ /** * 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() + * @uses PMA_generate_common_hidden_inputs() + * @uses PMA_generate_common_url() * @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']; @@ -34,6 +32,7 @@ function PMA_select_server($not_only_options, $ommit_fieldset) if ($not_only_options) { echo '