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:
authorRouslan Placella <rouslan@placella.com>2012-04-26 02:47:24 +0400
committerRouslan Placella <rouslan@placella.com>2012-04-26 02:47:24 +0400
commit49a7f12e4e4125024a1b17eb1aa590f5db27deea (patch)
tree3ef753be619301cd5f5282e5cc92e328b0dff171 /server_sql.php
parent285b9d036704152f2db27516476fec54d1385798 (diff)
Include CodeMirror globally
Diffstat (limited to 'server_sql.php')
-rw-r--r--server_sql.php5
1 files changed, 0 insertions, 5 deletions
diff --git a/server_sql.php b/server_sql.php
index c3842c3fec..538759066d 100644
--- a/server_sql.php
+++ b/server_sql.php
@@ -17,11 +17,6 @@ $GLOBALS['js_include'][] = 'functions.js';
$GLOBALS['js_include'][] = 'makegrid.js';
$GLOBALS['js_include'][] = 'sql.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';