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", {
       meta: {
       blockCommentStart: '<!--',
        blockCommentStart: '<!--',
      blockCommentEnd: '-->',
        blockCommentEnd: '-->'
      },
       start: [
       start: [
         {
         {