--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.cms/lib/codemirror/test/lint.js	Fri Oct 11 22:40:23 2024 +0000
@@ -0,0 +1,21 @@
+var blint = require("blint");
+
+["mode", "lib", "addon", "keymap"].forEach(function(dir) {
+  blint.checkDir(dir, {
+    browser: true,
+    allowedGlobals: ["CodeMirror", "define", "test", "requirejs", "globalThis", "WeakSet"],
+    ecmaVersion: 5,
+    tabs: dir == "lib"
+  });
+});
+
+["src"].forEach(function(dir) {
+  blint.checkDir(dir, {
+    browser: true,
+    allowedGlobals: ["WeakSet"],
+    ecmaVersion: 6,
+    semicolons: false
+  });
+});
+
+module.exports = {ok: blint.success()};