MediaWiki:Common.js: Difference between revisions

No edit summary
No edit summary
Line 12: Line 12:
   mw.loader.using( codeMirrorCoreModules, function () {
   mw.loader.using( codeMirrorCoreModules, function () {
     CodeMirror.keyMap.pcDefault[ 'Ctrl-/' ] = "toggleComment";
     CodeMirror.keyMap.pcDefault[ 'Ctrl-/' ] = "toggleComment";
    CodeMirror.extendMode("mediawiki", {
      meta: {
        blockCommentStart: '<!--',
        blockCommentEnd: '-->'
      },
      start: [
        {
          regex: /<!--.*-->/,
          token: 'comment',
        },
      ]
    });
   });
   });
}
}