diff options
author | Rouslan Placella <rouslan@placella.com> | 2012-04-26 02:47:24 +0400 |
---|---|---|
committer | Rouslan Placella <rouslan@placella.com> | 2012-04-26 02:47:24 +0400 |
commit | 49a7f12e4e4125024a1b17eb1aa590f5db27deea (patch) | |
tree | 3ef753be619301cd5f5282e5cc92e328b0dff171 /server_privileges.php | |
parent | 285b9d036704152f2db27516476fec54d1385798 (diff) |
Include CodeMirror globally
Diffstat (limited to 'server_privileges.php')
-rw-r--r-- | server_privileges.php | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/server_privileges.php b/server_privileges.php index 5d0aa9eb7c..f265af4261 100644 --- a/server_privileges.php +++ b/server_privileges.php @@ -16,10 +16,6 @@ require_once 'libraries/common.inc.php'; $GLOBALS['js_include'][] = 'server_privileges.js'; $GLOBALS['js_include'][] = 'functions.js'; -if ($GLOBALS['cfg']['CodemirrorEnable']) { - $GLOBALS['js_include'][] = 'codemirror/lib/codemirror.js'; - $GLOBALS['js_include'][] = 'codemirror/mode/mysql/mysql.js'; -} $_add_user_error = false; /** |