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") {
  mw.loader.load( 'https://codemirror.net/3/addon/comment/comment.js' );
  const customKeyMap = {
    "Ctrl-/": "toggleComment"
  };
  const codeMirrorCoreModules = [
			'ext.CodeMirror.lib',
			'ext.CodeMirror.mode.mediawiki'
		];
  mw.loader.using( codeMirrorCoreModules, function () {
    CodeMirror.keyMap.pcDefault[ 'Ctrl-/' ] = "toggleComment";
  });
}