diff options
author | Jo Michael <me@mynetx.net> | 2012-04-13 03:43:32 +0400 |
---|---|---|
committer | Jo Michael <me@mynetx.net> | 2012-04-13 03:43:32 +0400 |
commit | 8744f8cf66e57963c74bfc7bca800667ba793554 (patch) | |
tree | cb742feb6be3101a2b8a6b42e8b6364875dceac4 /server_sql.php | |
parent | 6557b71b88fe19997844169854d34af73a02c70f (diff) |
+ rfe #3517354 [interface] Allow disabling CodeMirror with $cfg['CodemirrorEnable'] = false
Diffstat (limited to 'server_sql.php')
-rw-r--r-- | server_sql.php | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/server_sql.php b/server_sql.php index bf5d7aa4db..c3842c3fec 100644 --- a/server_sql.php +++ b/server_sql.php @@ -16,8 +16,11 @@ require_once 'libraries/common.inc.php'; $GLOBALS['js_include'][] = 'functions.js'; $GLOBALS['js_include'][] = 'makegrid.js'; $GLOBALS['js_include'][] = 'sql.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'; +} require_once 'libraries/server_common.inc.php'; require_once 'libraries/sql_query_form.lib.php'; |