diff options
author | Michal Čihař <michal@cihar.com> | 2017-09-06 10:07:48 +0300 |
---|---|---|
committer | Michal Čihař <michal@cihar.com> | 2017-09-06 12:04:47 +0300 |
commit | 94bb2e31a124e5212086a6de863f81ec1e92943e (patch) | |
tree | 765fb75f53ac3922c4a93eb786d6cb84e5472ee3 /db_export.php | |
parent | 73d1599a1a5e146ba9e0700e627161c025c6d531 (diff) |
Remove no longer needed page_settings.forms.php and user_preferences.forms.php
Issue #11731
Signed-off-by: Michal Čihař <michal@cihar.com>
Diffstat (limited to 'db_export.php')
-rw-r--r-- | db_export.php | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/db_export.php b/db_export.php index 2479f116cd..e43f914cc9 100644 --- a/db_export.php +++ b/db_export.php @@ -16,8 +16,6 @@ use PhpMyAdmin\Util; * Gets some core libraries */ require_once 'libraries/common.inc.php'; -require_once 'libraries/config/user_preferences.forms.php'; -require_once 'libraries/config/page_settings.forms.php'; PageSettings::showGroup('Export'); |