diff options
| author | Nisarg Jhaveri <nisargjhaveri@gmail.com> | 2015-05-18 18:08:07 +0300 |
|---|---|---|
| committer | Nisarg Jhaveri <nisargjhaveri@gmail.com> | 2015-05-18 18:08:07 +0300 |
| commit | e115adb5339bfa984a680672f52c064f61bbe3ad (patch) | |
| tree | efa7d4e099357adcc76581dd6aba3b3b83d3398e /db_export.php | |
| parent | 74a9200c6031b7c31512dddb73528cc24dc41065 (diff) | |
Page-related settings, rfe#1559
Signed-off-by: Nisarg Jhaveri <nisargjhaveri@gmail.com>
Diffstat (limited to 'db_export.php')
| -rw-r--r-- | db_export.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/db_export.php b/db_export.php index 475e78cc74..40831f4ba0 100644 --- a/db_export.php +++ b/db_export.php @@ -10,6 +10,9 @@ * Gets some core libraries */ require_once 'libraries/common.inc.php'; +require_once 'libraries/config/page_settings.class.php'; + +PMA_PageSettings::showGroup('Export'); $response = PMA_Response::getInstance(); $header = $response->getHeader(); |