Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpmyadmin/phpmyadmin.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEric Krona <eric@krona.tm>2012-01-30 01:02:13 +0400
committerMichal Čihař <mcihar@suse.cz>2012-02-01 14:47:24 +0400
commit3151d41d0e13e2f422aaf88faeffd5e1f93c897a (patch)
treeeb760f25a9c87a62943ae7aaffba8ae3cae1ab22 /sql.php
parent5fe9a03bb8ffd6cd4679f119591e1953da56a938 (diff)
Activated codemirror for inline edits of queries.
Diffstat (limited to 'sql.php')
-rw-r--r--sql.php4
1 files changed, 4 insertions, 0 deletions
diff --git a/sql.php b/sql.php
index 3e6e6d445f..d736bdf58c 100644
--- a/sql.php
+++ b/sql.php
@@ -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';