From 05699a7ac473d9cada3ea813463ab025c3432498 Mon Sep 17 00:00:00 2001
From: Jo Michael <me@mynetx.net>
Date: Sun, 15 Apr 2012 05:40:39 +0200
Subject: [PATCH] Add Codemirror to tbl_replace (SQL box after inserting rows)

---
 tbl_replace.php | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/tbl_replace.php b/tbl_replace.php
index f7e0f9e263..4eb563bb5d 100644
--- a/tbl_replace.php
+++ b/tbl_replace.php
@@ -30,6 +30,11 @@ $GLOBALS['js_include'][] = 'makegrid.js';
 // Needed for generation of Inline Edit anchors
 $GLOBALS['js_include'][] = 'sql.js';
 
+if ($GLOBALS['cfg']['CodemirrorEnable']) {
+    $GLOBALS['js_include'][] = 'codemirror/lib/codemirror.js';
+    $GLOBALS['js_include'][] = 'codemirror/mode/mysql/mysql.js';
+}
+
 if (isset($_REQUEST['insert_rows'])
     && is_numeric($_REQUEST['insert_rows'])
     && $_REQUEST['insert_rows'] != $cfg['InsertRows']