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: [ | ||
{ | { |