diff options
author | Hugues Peccatte <hugues.peccatte@gmail.com> | 2015-09-06 13:44:03 +0300 |
---|---|---|
committer | Hugues Peccatte <hugues.peccatte@gmail.com> | 2015-09-06 13:44:03 +0300 |
commit | e6c142bc56608539e3ad0b19b6380d2e09962b71 (patch) | |
tree | 8d601b5e37ea0e42e37533f71c9a74ba731430e8 /server_export.php | |
parent | ececab6c8c41b4f82175d54484dcd4166aeaa028 (diff) |
Add missing require.
Signed-off-by: Hugues Peccatte <hugues.peccatte@gmail.com>
Diffstat (limited to 'server_export.php')
-rw-r--r-- | server_export.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/server_export.php b/server_export.php index 4985322c99..274a511452 100644 --- a/server_export.php +++ b/server_export.php @@ -12,6 +12,7 @@ use PMA\libraries\Response; * Does the common work */ require_once 'libraries/common.inc.php'; +require_once 'libraries/config/user_preferences.forms.php'; require_once 'libraries/config/page_settings.forms.php'; require_once 'libraries/server_common.inc.php'; require_once 'libraries/display_export.lib.php'; |