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 /db_routines.php | |
| parent | fbc2bbdc49865d8dc39f80e0ea70e5d26da39ec7 (diff) | |
Load codemirror only when needed
This needs verification with ajax requests.
Diffstat (limited to 'db_routines.php')
| -rw-r--r-- | db_routines.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/db_routines.php b/db_routines.php index 739e69a5d2..745d1f9287 100644 --- a/db_routines.php +++ b/db_routines.php @@ -21,6 +21,8 @@ $GLOBALS['js_include'][] = 'jquery/jquery-ui-1.8.custom.js'; $GLOBALS['js_include'][] = 'jquery/timepicker.js'; $GLOBALS['js_include'][] = 'rte/common.js'; $GLOBALS['js_include'][] = 'rte/routines.js'; +$GLOBALS['js_include'][] = 'codemirror/lib/codemirror.js'; +$GLOBALS['js_include'][] = 'codemirror/mode/mysql/mysql.js'; /** * Include all other files |