fix(MediaWiki:Gadget-wikieditor-highlight.js): missing style

Borrowed from MW:Extension:CodeMirror
MoegirlPediaInterfaceAdmins · Jan 18, 2024 · c1ca0d1 · c1ca0d1
1 parent b4a4301
commit c1ca0d1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/gadgets/wikieditor-highlight/MediaWiki:Gadget-wikieditor-highlight.js b/src/gadgets/wikieditor-highlight/MediaWiki:Gadget-wikieditor-highlight.js
@@ -4,6 +4,7 @@
     if (!["edit", "submit"].includes(mw.config.get("wgAction")) || mw.config.get("wgPageContentModel") !== "wikitext") {
         return;
     }
+    mw.loader.addStyleTag(".wikiEditor-ui-toolbar{z-index:7}");
     await $.ready;
 
     const localObjectStorage = new LocalObjectStorage("wikieditor-highlight");