MediaWiki:Common.js: Difference between revisions

← Older edit

@@ Line 2: / Line 2: @@
 if (mw.config.get("wgAction") == "edit") {
-window.addEventListener('DOMContentLoaded', (event) => {
    mw.loader.load( 'https://codemirror.net/3/addon/comment/comment.js' );
    const customKeyMap = {
      "Ctrl-/": "toggleComment"
    };
-   const editor = document.querySelector(".CodeMirror").CodeMirror;
+   const codeMirrorCoreModules = [
-  editor.addKeyMap(customKeyMap);
+			'ext.CodeMirror.lib',
-});
+			'ext.CodeMirror.mode.mediawiki'
+		];
+  mw.loader.using( codeMirrorCoreModules, function () {
+    CodeMirror.keyMap.pcDefault[ 'Ctrl-/' ] = "toggleComment";
+    CodeMirror.extendMode("mediawiki", {
+      blockCommentStart: '<!--',
+      blockCommentEnd: '-->',
+      start: [
+        {
+          regex: /<!--.*-->/,
+          token: 'comment',
+        },
+      ]
+    });
+    window.cmEditor = document.getElementsByClassName("CodeMirror")[0].CodeMirror;
+  });
 }