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 /server_sql.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 'server_sql.php')
-rw-r--r-- | server_sql.php | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/server_sql.php b/server_sql.php index 410c4b8feb..418903a05c 100644 --- a/server_sql.php +++ b/server_sql.php @@ -12,8 +12,6 @@ use PhpMyAdmin\Response; * */ require_once 'libraries/common.inc.php'; -require_once 'libraries/config/user_preferences.forms.php'; -require_once 'libraries/config/page_settings.forms.php'; PageSettings::showGroup('Sql'); |