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']