Remove core plugins from core repository

1 files changed, 0 insertions, 13 deletions

diff --git a/plugins/LocalFilesEditor/codemirror/mode/diff/diff.js b/plugins/LocalFilesEditor/codemirror/mode/diff/diff.js
deleted file mode 100644
index 619d74e2a..000000000
--- a/plugins/LocalFilesEditor/codemirror/mode/diff/diff.js
+++ /dev/null
@@ -1,13 +0,0 @@
-CodeMirror.defineMode("diff", function() {
-  return {
-    token: function(stream) {
-      var ch = stream.next();
-      stream.skipToEnd();
-      if (ch == "+") return "diff-plus";
-      if (ch == "-") return "diff-minus";
-      if (ch == "@") return "diff-rangeinfo";
-    }
-  };
-});
-
-CodeMirror.defineMIME("text/x-diff", "diff");