MediaWiki:Common.js: Difference between revisions

← Older edit Newer 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;
+   CodeMirror.keyMap.pcDefault[ 'Ctrl-/' ] = "toggleComment";
-  editor.addKeyMap(customKeyMap);
-});
 }