chore(gh-page.js): update codemirror-mediawiki

bhsd-harry · Dec 14, 2023 · f2f9560 · f2f9560
1 parent 9cf44f4
commit f2f9560
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/extensions/dist/gh-page.js b/extensions/dist/gh-page.js
@@ -1,4 +1,4 @@
-import { CodeMirror6 } from 'https://testingcf.jsdelivr.net/npm/@bhsd/codemirror-mediawiki@2.0.6/dist/main.min.js';
+import { CodeMirror6 } from 'https://testingcf.jsdelivr.net/npm/@bhsd/codemirror-mediawiki@2.0.7/dist/main.min.js';
 (async () => {
     const textbox = document.querySelector('#wpTextbox1'), textbox2 = document.querySelector('#wpTextbox2'), input = document.querySelector('#wpInclude'), buttons = document.getElementsByTagName('button'), tabcontents = document.getElementsByClassName('tabcontent'), { wikiparse } = window, config = await (await fetch('/wikiparser-node/config/default.json')).json();
     wikiparse.setConfig(config);