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 = {
@@ Line 8: / Line 9: @@
    const editor = document.querySelector(".CodeMirror").CodeMirror;
    editor.addKeyMap(customKeyMap);
+});
 }