diff options
Diffstat (limited to 'libraries/classes/Header.php')
| -rw-r--r-- | libraries/classes/Header.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libraries/classes/Header.php b/libraries/classes/Header.php index eb38f8ddc8..8dc0c6556b 100644 --- a/libraries/classes/Header.php +++ b/libraries/classes/Header.php @@ -17,6 +17,7 @@ use PhpMyAdmin\RecentFavoriteTable; use PhpMyAdmin\Sanitize; use PhpMyAdmin\Scripts; use PhpMyAdmin\Url; +use PhpMyAdmin\UserPreferences; use PhpMyAdmin\Util; /** @@ -436,8 +437,7 @@ class Header $retval .= Config::renderHeader(); // offer to load user preferences from localStorage if ($this->_userprefsOfferImport) { - include_once './libraries/user_preferences.lib.php'; - $retval .= PMA_userprefsAutoloadGetHeader(); + $retval .= UserPreferences::autoloadGetHeader(); } // pass configuration for hint tooltip display // (to be used by PMA_tooltip() in js/functions.js) |