diff --git a/ChangeLog b/ChangeLog
index 0aee1d839a..03378d723f 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -40,6 +40,7 @@ phpMyAdmin - ChangeLog
 - issue #13612 Integrate tooltip into datetime pickers
 - issue #13628 Fixed javascript error in server monitor
 - issue #13444 Fixed server monitor on non Linux and Windows systems
+- issue #13633 Reload javscript messages when changing language
 
 4.7.4 (2017-08-23)
 - issue #13415 Remove shadow from the logo
diff --git a/libraries/classes/Header.php b/libraries/classes/Header.php
index 8566ddbc57..eb38f8ddc8 100644
--- a/libraries/classes/Header.php
+++ b/libraries/classes/Header.php
@@ -183,7 +183,7 @@ class Header
         // Here would not be a good place to add CodeMirror because
         // the user preferences have not been merged at this point
 
-        $this->_scripts->addFile('messages.php');
+        $this->_scripts->addFile('messages.php', false, array('l' => $GLOBALS['lang']));
         // Append the theme id to this url to invalidate
         // the cache on a theme change. Though this might be
         // unavailable for fatal errors.