diff options
Diffstat (limited to 'tbl_export.php')
| -rw-r--r-- | tbl_export.php | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/tbl_export.php b/tbl_export.php index a22fd023ac..f9722c4fc2 100644 --- a/tbl_export.php +++ b/tbl_export.php @@ -11,8 +11,11 @@ require_once 'libraries/common.inc.php'; $GLOBALS['js_include'][] = 'export.js'; -$GLOBALS['js_include'][] = 'codemirror/lib/codemirror.js'; -$GLOBALS['js_include'][] = 'codemirror/mode/mysql/mysql.js'; + +if ($GLOBALS['cfg']['CodemirrorEnable']) { + $GLOBALS['js_include'][] = 'codemirror/lib/codemirror.js'; + $GLOBALS['js_include'][] = 'codemirror/mode/mysql/mysql.js'; +} /** * Gets tables informations and displays top links |