diff options
Diffstat (limited to 'libraries/server_plugins.lib.php')
| -rw-r--r-- | libraries/server_plugins.lib.php | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/libraries/server_plugins.lib.php b/libraries/server_plugins.lib.php index 7661b9ee27..7c978f6c3c 100644 --- a/libraries/server_plugins.lib.php +++ b/libraries/server_plugins.lib.php @@ -49,12 +49,9 @@ function PMA_getPluginTab($plugins) $html = '<div id="plugins_plugins">'; $html .= '<div id="sectionlinks">'; - /** @var PMA_String $pmaString */ - $pmaString = $GLOBALS['PMA_String']; - foreach ($plugins as $plugin_type => $plugin_list) { $key = 'plugins-' - . preg_replace('/[^a-z]/', '', $pmaString->strtolower($plugin_type)); + . preg_replace('/[^a-z]/', '', /*overload*/mb_strtolower($plugin_type)); $html .= '<a href="#' . $key . '">' . htmlspecialchars($plugin_type) . '</a>' . "\n"; } @@ -64,7 +61,7 @@ function PMA_getPluginTab($plugins) foreach ($plugins as $plugin_type => $plugin_list) { $key = 'plugins-' - . preg_replace('/[^a-z]/', '', $pmaString->strtolower($plugin_type)); + . preg_replace('/[^a-z]/', '', /*overload*/mb_strtolower($plugin_type)); sort($plugin_list); $html .= '<table class="data_full_width" id="' . $key . '">'; |