diff --git a/ChangeLog b/ChangeLog
index 3d395321d..5fd832b76 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -23,6 +23,7 @@ $HeadURL$
 - bug #1672789 [sqp] Undefined offset: 4 in sqlparser.lib.php #1674
 - bug #1682044 [export] Export file even if file not selected
 - bug #1664212 querywindow loses url encoded characters
+- replaced ctype_digit() with is_numeric()
 + [config] clean cookies on phpMyAdmin upgrade
 - bug #1674972 [export] no export with %afm%
 - bug #1667887 HTML maxlength
diff --git a/libraries/common.lib.php b/libraries/common.lib.php
index 194d710d1..9f206da5f 100644
--- a/libraries/common.lib.php
+++ b/libraries/common.lib.php
@@ -3061,7 +3061,8 @@ if (! defined('PMA_MINIMUM_COMMON')) {
      * by Arnold - Helder Hosting
      * (see FAQ 4.8)
      */
-    if (! empty($_REQUEST['server']) && is_string($_REQUEST['server']) && ! ctype_digit($_REQUEST['server'])) {
+    if (! empty($_REQUEST['server']) && is_string($_REQUEST['server'])
+     && ! is_numeric($_REQUEST['server'])) {
         foreach ($cfg['Servers'] as $i => $server) {
             if ($server['host'] == $_REQUEST['server']) {
                 $_REQUEST['server'] = $i;