1 files changed, 3 insertions, 3 deletions
diff --git a/prefs_manage.php b/prefs_manage.php
index 7291ad3f58..86bc6c7fa4 100644
--- a/prefs_manage.php
+++ b/prefs_manage.php
@@ -176,12 +176,12 @@ if (isset($_POST['submit_export'])
                 $pmaString = $GLOBALS['PMA_String'];
 
                 foreach ($query as $q) {
-                    $pos = $pmaString->strpos($q, '=');
-                    $k = $pmaString->substr($q, 0, $pos);
+                    $pos = /*overload*/mb_strpos($q, '=');
+                    $k = /*overload*/mb_substr($q, 0, $pos);
                     if ($k == 'token') {
                         continue;
                     }
-                    $params[$k] = $pmaString->substr($q, $pos+1);
+                    $params[$k] = /*overload*/mb_substr($q, $pos+1);
                 }
             } else {
                 $return_url = 'prefs_manage.php';