move a few things away in to-be-integrated/

[myslice.git] / third-party / codemirror-3.15 / addon / lint / json-lint.js

diff --git a/third-party/codemirror-3.15/addon/lint/json-lint.js b/third-party/codemirror-3.15/addon/lint/json-lint.js
deleted file mode 100644 (file)
index 1dfc6b8..0000000
--- a/third-party/codemirror-3.15/addon/lint/json-lint.js
+++ /dev/null
@@ -1,15 +0,0 @@
-// Depends on jsonlint.js from https://github.com/zaach/jsonlint
-
-CodeMirror.registerHelper("lint", "json", function(text) {
-  var found = [];
-  jsonlint.parseError = function(str, hash) {
-    var loc = hash.loc;
-    found.push({from: CodeMirror.Pos(loc.first_line - 1, loc.first_column),
-                to: CodeMirror.Pos(loc.last_line - 1, loc.last_column),
-                message: str});
-  };
-  try { jsonlint.parse(text); }
-  catch(e) {}
-  return found;
-});
-CodeMirror.jsonValidator = CodeMirror.lint.json; // deprecated