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', | |||
}, | |||
] | |||
}); | |||
}); | }); | ||
} | } |