MediaWiki:Common.js: Difference between revisions
No edit summary |
No edit summary |
||
| Line 6: | Line 6: | ||
"Ctrl-/": "toggleComment" | "Ctrl-/": "toggleComment" | ||
}; | }; | ||
CodeMirror.keyMap.pcDefault[ 'Ctrl-/' ] = "toggleComment"; | const codeMirrorCoreModules = [ | ||
'ext.CodeMirror.lib', | |||
'ext.CodeMirror.mode.mediawiki' | |||
]; | |||
mw.loader.using( codeMirrorCoreModules, function () { | |||
CodeMirror.keyMap.pcDefault[ 'Ctrl-/' ] = "toggleComment"; | |||
}); | |||
} | } | ||