MediaWiki:Common.js: Difference between revisions

/* Any JavaScript here will be loaded for all users on every page load. */

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;
  editor.addKeyMap(customKeyMap);
});
}