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";
    CodeMirror.extendMode("mediawiki", {
      meta: {
        blockCommentStart: '<!--',
        blockCommentEnd: '-->'
      },
      start: [
        {
          regex: /<!--.*-->/,
          token: 'comment',
        },
      ]
    });
  });
}