diff options
author | Eric Krona <eric@krona.tm> | 2012-01-30 01:02:13 +0400 |
---|---|---|
committer | Michal Čihař <mcihar@suse.cz> | 2012-02-01 14:47:24 +0400 |
commit | 3151d41d0e13e2f422aaf88faeffd5e1f93c897a (patch) | |
tree | eb760f25a9c87a62943ae7aaffba8ae3cae1ab22 /sql.php | |
parent | 5fe9a03bb8ffd6cd4679f119591e1953da56a938 (diff) |
Activated codemirror for inline edits of queries.
Diffstat (limited to 'sql.php')
-rw-r--r-- | sql.php | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -20,6 +20,10 @@ $GLOBALS['js_include'][] = 'tbl_change.js'; // the next one needed because sql.php may do a "goto" to tbl_structure.php $GLOBALS['js_include'][] = 'tbl_structure.js'; $GLOBALS['js_include'][] = 'gis_data_editor.js'; +$GLOBALS['js_include'][] = 'codemirror/lib/codemirror.js'; +$GLOBALS['js_include'][] = 'codemirror/mode/mysql/mysql.js'; + + if (isset($_SESSION['profiling'])) { $GLOBALS['js_include'][] = 'highcharts/highcharts.js'; |