From 05f2bdb4e3af3611fac7204d55d631ea1b329d18 Mon Sep 17 00:00:00 2001
From: Bhsd <55071315+bhsd-harry@users.noreply.github.com>
Date: Fri, 19 Jan 2024 17:54:29 +0800
Subject: [PATCH] Update MediaWiki:Gadget-wikieditor-highlight.js (#403)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

根据用户反馈，不再默认启用highlightWhitespace扩展
---
 .../MediaWiki:Gadget-wikieditor-highlight.js                   | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/gadgets/wikieditor-highlight/MediaWiki:Gadget-wikieditor-highlight.js b/src/gadgets/wikieditor-highlight/MediaWiki:Gadget-wikieditor-highlight.js
index c7a406dd..a52086f3 100644
--- 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));