Update MediaWiki:Gadget-wikieditor-highlight.js (#403)

根据用户反馈，不再默认启用highlightWhitespace扩展
MoegirlPediaInterfaceAdmins · Jan 19, 2024 · 05f2bdb · 05f2bdb
1 parent 00a2a70
commit 05f2bdb
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/gadgets/wikieditor-highlight/MediaWiki:Gadget-wikieditor-highlight.js b/src/gadgets/wikieditor-highlight/MediaWiki:Gadget-wikieditor-highlight.js
@@ -27,13 +27,12 @@
         cm.prefer([
             "highlightSpecialChars",
             "highlightActiveLine",
-            "highlightWhitespace",
             "bracketMatching",
             "closeBrackets",
         ]);
         const [config] = await Promise.all([
             libCachedCode.getCachedCode("https://testingcf.jsdelivr.net/npm/wikiparser-node/config/moegirl.json"),
-            cm.defaultLint(true, { include: ns === 10 }),
+            cm.defaultLint(true, { include: [2, 10, 828].includes(ns) }),
         ]);
         try {
             window.wikiparse?.setConfig(JSON.parse(config));