1 files changed, 1 insertions, 1 deletions
diff --git a/changelog.php b/changelog.php
index 7d42ea185a..a7287f032c 100644
--- a/changelog.php
+++ b/changelog.php
@@ -23,7 +23,7 @@ $filename = CHANGELOG_FILE;
 if (is_readable($filename)) {
 
     // Test if the if is in a compressed format
-    if ($GLOBALS['PMA_String']->substr($filename, -3) == '.gz') {
+    if (/*overload*/mb_substr($filename, -3) == '.gz') {
         ob_start();
         readgzfile($filename);
         $changelog = ob_get_contents();