update codemirror plugin files

2020-11-25 09:00:43 +01:00
parent 4bbf746378
commit a2df402653
18 changed files with 148 additions and 72 deletions
--- a/plugins/codemirror/addon/lint/javascript-lint.js
+++ b/plugins/codemirror/addon/lint/javascript-lint.js
@@ -1,6 +1,8 @@
 // CodeMirror, copyright (c) by Marijn Haverbeke and others
 // Distributed under an MIT license: https://codemirror.net/LICENSE

+// Depends on jshint.js from https://github.com/jshint/jshint
+
 (function(mod) {
  if (typeof exports == "object" && typeof module == "object") // CommonJS
    mod(require("../../lib/codemirror"));