diff options
Diffstat (limited to 'setup/frames/servers.inc.php')
| -rw-r--r-- | setup/frames/servers.inc.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/setup/frames/servers.inc.php b/setup/frames/servers.inc.php index 87c5cee1d7..859a784816 100644 --- a/setup/frames/servers.inc.php +++ b/setup/frames/servers.inc.php @@ -19,8 +19,8 @@ require_once './setup/lib/form_processing.lib.php'; require './libraries/config/setup.forms.php'; -$mode = filter_input(INPUT_GET, 'mode'); -$id = filter_input(INPUT_GET, 'id', FILTER_VALIDATE_INT); +$mode = isset($_GET['mode']) ? $_GET['mode'] : null; +$id = PMA_isValid($_GET['id'], 'numeric') ? $_GET['id'] : null; $cf = $GLOBALS['ConfigFile']; $server_exists = !empty($id) && $cf->get("Servers/$id") !== null; |