Update MediaWiki:Gadget-wikieditor-highlight.js

大更新
MoegirlPediaInterfaceAdmins · Feb 1, 2024 · c2ab02d · c2ab02d
1 parent dfb3457
commit c2ab02d
Showing 1 changed file with 1 addition 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.js";
+                script.src = "https://testingcf.jsdelivr.net/npm/@bhsd/codemirror-mediawiki/dist/mw.min.js";
                 document.head.append(script);
             });
         }