Remove unused pmaString variable

It was used in past when we didn't rely on mbstring.

Signed-off-by: Michal Čihař <michal@cihar.com>

1 files changed, 0 insertions, 3 deletions

diff --git a/prefs_manage.php b/prefs_manage.php
index d27c656a7f..3362a19029 100644
--- a/prefs_manage.php
+++ b/prefs_manage.php
@@ -177,9 +177,6 @@ if (isset($_POST['submit_export'])
                 $query = explode('&', parse_url($return_url, PHP_URL_QUERY));
                 $return_url = parse_url($return_url, PHP_URL_PATH);
 
-                /** @var String $pmaString */
-                $pmaString = $GLOBALS['PMA_String'];
-
                 foreach ($query as $q) {
                     $pos = /*overload*/mb_strpos($q, '=');
                     $k = /*overload*/mb_substr($q, 0, $pos);