Update MediaWiki:Gadget-wikieditor-highlight.js

让用户自行选择加载的插件
MoegirlPediaInterfaceAdmins · Feb 1, 2024 · 0026888 · 0026888
1 parent c2ab02d
commit 0026888
Showing 1 changed file with 1 addition and 17 deletions.
diff --git a/src/gadgets/wikieditor-highlight/MediaWiki:Gadget-wikieditor-highlight.js b/src/gadgets/wikieditor-highlight/MediaWiki:Gadget-wikieditor-highlight.js
@@ -22,23 +22,7 @@
                 document.head.append(script);
             });
         }
-        cm = await window.CodeMirror6.fromTextArea($textarea[0], lang);
-        cm.prefer([
-            "highlightSpecialChars",
-            "highlightActiveLine",
-            "bracketMatching",
-            "closeBrackets",
-            "allowMultipleSelections",
-        ]);
-        const [config] = await Promise.all([
-            libCachedCode.getCachedCode("https://testingcf.jsdelivr.net/npm/wikiparser-node/config/moegirl.json"),
-            cm.defaultLint(true, { include: [2, 10, 828].includes(ns) }),
-        ]);
-        try {
-            window.wikiparse?.setConfig(JSON.parse(config));
-        } catch (e) {
-            console.error(e);
-        }
+        window.CodeMirror6.fromTextArea($textarea[0], lang, ns);
     };
     if (!isAdvanced) {
         init();