diff --git a/js/codemirror/addon/runmode/colorize.js b/js/codemirror/addon/runmode/colorize.js
deleted file mode 100644
index 62286d21e4..0000000000
--- a/js/codemirror/addon/runmode/colorize.js
+++ /dev/null
@@ -1,29 +0,0 @@
-CodeMirror.colorize = (function() {
-
-  var isBlock = /^(p|li|div|h\\d|pre|blockquote|td)$/;
-
-  function textContent(node, out) {
-    if (node.nodeType == 3) return out.push(node.nodeValue);
-    for (var ch = node.firstChild; ch; ch = ch.nextSibling) {
-      textContent(ch, out);
-      if (isBlock.test(node.nodeType)) out.push("\n");
-    }
-  }
-
-  return function(collection, defaultMode) {
-    if (!collection) collection = document.body.getElementsByTagName("pre");
-
-    for (var i = 0; i < collection.length; ++i) {
-      var node = collection[i];
-      var mode = node.getAttribute("data-lang") || defaultMode;
-      if (!mode) continue;
-
-      var text = [];
-      textContent(node, text);
-      node.innerHTML = "";
-      CodeMirror.runMode(text.join(""), mode, node);
-
-      node.className += " cm-s-default";
-    }
-  };
-})();
diff --git a/libraries/Header.class.php b/libraries/Header.class.php
index 4136288e46..b833d2c99c 100644
--- a/libraries/Header.class.php
+++ b/libraries/Header.class.php
@@ -357,7 +357,6 @@ class PMA_Header
                     $this->_scripts->addFile('codemirror/lib/codemirror.js');
                     $this->_scripts->addFile('codemirror/mode/sql/sql.js');
                     $this->_scripts->addFile('codemirror/addon/runmode/runmode.js');
-                    $this->_scripts->addFile('codemirror/addon/runmode/colorize.js');
                 }
                 if ($this->_userprefsOfferImport) {
                     $this->_scripts->addFile('config.js');