diff options
author | Marc Delisle <marc@infomarc.info> | 2015-07-18 21:57:44 +0300 |
---|---|---|
committer | Marc Delisle <marc@infomarc.info> | 2015-07-18 21:57:44 +0300 |
commit | fec98e1450541c765c837343cdaff7987565143e (patch) | |
tree | c31f484f0af43b0ef42fc2253d2f1c69671abddb /db_export.php | |
parent | 0d2c8996aa04960f5b4e476078ccd600e23e62c4 (diff) |
As suggested by Scrutinizer
Signed-off-by: Marc Delisle <marc@infomarc.info>
Diffstat (limited to 'db_export.php')
-rw-r--r-- | db_export.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/db_export.php b/db_export.php index d080c4b6da..67871bd654 100644 --- a/db_export.php +++ b/db_export.php @@ -11,7 +11,7 @@ */ require_once 'libraries/common.inc.php'; require_once 'libraries/config/page_settings.class.php'; -include_once 'libraries/export.lib.php'; +require_once 'libraries/export.lib.php'; PMA_PageSettings::showGroup('Export'); |