MediaWiki:Common.js: Difference between revisions
No edit summary |
No edit summary |
||
Line 13: | Line 13: | ||
CodeMirror.keyMap.pcDefault[ 'Ctrl-/' ] = "toggleComment"; | CodeMirror.keyMap.pcDefault[ 'Ctrl-/' ] = "toggleComment"; | ||
CodeMirror.extendMode("mediawiki", { | CodeMirror.extendMode("mediawiki", { | ||
blockCommentStart: '<!--', | |||
blockCommentEnd: '-->', | |||
start: [ | start: [ | ||
{ | { |
Latest revision as of 19:42, 16 April 2020
/* 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", {
blockCommentStart: '<!--',
blockCommentEnd: '-->',
start: [
{
regex: /<!--.*-->/,
token: 'comment',
},
]
});
window.cmEditor = document.getElementsByClassName("CodeMirror")[0].CodeMirror;
});
}