diff options
author | Michal Čihař <mcihar@suse.cz> | 2011-07-20 17:10:20 +0400 |
---|---|---|
committer | Michal Čihař <mcihar@suse.cz> | 2011-07-20 17:12:30 +0400 |
commit | fc387fe531b6ca1e95f3ba1ad6fbcc499e0f2ccf (patch) | |
tree | d0cd0ca09109d50c3e6aaade26d9314898bfaee5 /server_sql.php | |
parent | fbc2bbdc49865d8dc39f80e0ea70e5d26da39ec7 (diff) |
Load codemirror only when needed
This needs verification with ajax requests.
Diffstat (limited to 'server_sql.php')
-rw-r--r-- | server_sql.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/server_sql.php b/server_sql.php index f8609f49cb..ddf90eded7 100644 --- a/server_sql.php +++ b/server_sql.php @@ -16,6 +16,8 @@ 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'; require_once './libraries/server_common.inc.php'; require_once './libraries/sql_query_form.lib.php'; |