diff --git a/src/gadgets/wikieditor-highlight/MediaWiki:Gadget-wikieditor-highlight.js b/src/gadgets/wikieditor-highlight/MediaWiki:Gadget-wikieditor-highlight.js index 2fb9df25..8aaaaaae 100644 --- a/src/gadgets/wikieditor-highlight/MediaWiki:Gadget-wikieditor-highlight.js +++ b/src/gadgets/wikieditor-highlight/MediaWiki:Gadget-wikieditor-highlight.js @@ -22,7 +22,7 @@ document.head.append(script); }); } - window.CodeMirror6.fromTextArea($textarea[0], lang, ns); + cm = await window.CodeMirror6.fromTextArea($textarea[0], lang, ns); }; if (!isAdvanced) { init();