feat(Gadget-wikieditor-highlight.js): multiple selections (#408)

* feat(Gadget-wikieditor-highlight.js): multiple selections Depend on [email protected] * Update MediaWiki:Gadget-wikieditor-highlight.js 临时加速缓存更新
MoegirlPediaInterfaceAdmins · Jan 21, 2024 · 7714584 · 7714584
1 parent 52b5aa3
commit 7714584
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/gadgets/wikieditor-highlight/MediaWiki:Gadget-wikieditor-highlight.js b/src/gadgets/wikieditor-highlight/MediaWiki:Gadget-wikieditor-highlight.js
@@ -18,7 +18,7 @@
                 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.min.js";
+                script.src = "https://testingcf.jsdelivr.net/npm/@bhsd/codemirror-mediawiki/mw/dist/base.js";
                 document.head.append(script);
             });
         }
@@ -28,6 +28,7 @@
             "highlightActiveLine",
             "bracketMatching",
             "closeBrackets",
+            "allowMultipleSelections",
         ]);
         const [config] = await Promise.all([
             libCachedCode.getCachedCode("https://testingcf.jsdelivr.net/npm/wikiparser-node/config/moegirl.json"),