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

* Update MediaWiki:Gadget-wikieditor-highlight.js 大更新 * Update MediaWiki:Gadget-wikieditor-highlight.js 让用户自行选择加载的插件
MoegirlPediaInterfaceAdmins · Feb 1, 2024 · 07be516 · 07be516
1 parent 06bb72a
commit 07be516
Showing 1 changed file with 2 additions and 18 deletions.
diff --git a/src/gadgets/wikieditor-highlight/MediaWiki:Gadget-wikieditor-highlight.js b/src/gadgets/wikieditor-highlight/MediaWiki:Gadget-wikieditor-highlight.js
@@ -18,27 +18,11 @@
                 const script = document.createElement("script");
                 script.addEventListener("load", resolve);
                 script.type = "module";
-                script.src = "https://testingcf.jsdelivr.net/npm/@bhsd/codemirror-mediawiki/mw/dist/base.js";
+                script.src = "https://testingcf.jsdelivr.net/npm/@bhsd/codemirror-mediawiki/dist/mw.min.js";
                 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();