From cce6c84db5ed38513a503ecd28269f37cdde85af Mon Sep 17 00:00:00 2001
From: Bhsd <55071315+bhsd-harry@users.noreply.github.com>
Date: Thu, 1 Feb 2024 22:34:01 +0800
Subject: [PATCH] fix(MediaWiki:Gadget-wikieditor-highlight.js): toggle
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

抱歉，上一个PR不小心把赋值语句给删了……
---
 .../MediaWiki:Gadget-wikieditor-highlight.js                    | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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();