diff options
author | Jo Michael <me@mynetx.net> | 2012-04-13 03:43:32 +0400 |
---|---|---|
committer | Jo Michael <me@mynetx.net> | 2012-04-13 03:43:32 +0400 |
commit | 8744f8cf66e57963c74bfc7bca800667ba793554 (patch) | |
tree | cb742feb6be3101a2b8a6b42e8b6364875dceac4 /server_status.php | |
parent | 6557b71b88fe19997844169854d34af73a02c70f (diff) |
+ rfe #3517354 [interface] Allow disabling CodeMirror with $cfg['CodemirrorEnable'] = false
Diffstat (limited to 'server_status.php')
-rw-r--r-- | server_status.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/server_status.php b/server_status.php index be4f8ac748..09822b5e5d 100644 --- a/server_status.php +++ b/server_status.php @@ -432,7 +432,10 @@ if (PMA_DRIZZLE) { * JS Includes */ +// needed to decide whether to load codemirror.js in server_status.js +PMA_AddJSVar('cfg_CodemirrorEnable', $GLOBALS['cfg']['CodemirrorEnable'] ? 1 : 0); $GLOBALS['js_include'][] = 'server_status.js'; + $GLOBALS['js_include'][] = 'jquery/jquery.tablesorter.js'; $GLOBALS['js_include'][] = 'jquery/jquery.cookie.js'; // For tab persistence // Charting |