diff options
| author | Michal Čihař <michal@cihar.com> | 2017-09-05 11:42:14 +0300 |
|---|---|---|
| committer | Michal Čihař <michal@cihar.com> | 2017-09-05 15:44:05 +0300 |
| commit | 0b81218a101fc0f4d91a2de33bd5bd0b1e28813d (patch) | |
| tree | a87e9f20d0b1330310c49f16c7560a15d65b356f /prefs_manage.php | |
| parent | dc6d06f5cabd28d8cef9f326f22c659cb6daa253 (diff) | |
Refactor configuration descriptions into class
This avoids loading them all into global namespace on every request.
Issue #11731
Signed-off-by: Michal Čihař <michal@cihar.com>
Diffstat (limited to 'prefs_manage.php')
| -rw-r--r-- | prefs_manage.php | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/prefs_manage.php b/prefs_manage.php index 5eedd881ab..ea9b968a9d 100644 --- a/prefs_manage.php +++ b/prefs_manage.php @@ -21,8 +21,6 @@ use PhpMyAdmin\ThemeManager; */ require_once 'libraries/common.inc.php'; require_once 'libraries/user_preferences.lib.php'; -require_once 'libraries/config/config_functions.lib.php'; -require_once 'libraries/config/messages.inc.php'; require 'libraries/config/user_preferences.forms.php'; $cf = new ConfigFile($GLOBALS['PMA_Config']->base_settings); |