diff --git a/libraries/classes/Header.php b/libraries/classes/Header.php index 293b8a03d8..6a56b5cc4e 100644 --- a/libraries/classes/Header.php +++ b/libraries/classes/Header.php @@ -200,7 +200,7 @@ class Header $this->_scripts->addFile('indexes.js'); $this->_scripts->addFile('common.js'); $this->_scripts->addFile('page_settings.js'); - if(!$GLOBALS['cfg']['DisableShortcutKeys']) { + if (! $GLOBALS['PMA_Config']->get('DisableShortcutKeys')) { $this->_scripts->addFile('shortcuts_handler.js'); } $this->_scripts->addCode($this->getJsParamsCode());