Merge branch 'QA_4_7'

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

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.