MediaWiki:Gadget-MarkupFormatting.js/keyboardShortcutConfig.js

Note: After saving, you have to bypass your browser's cache to see the changes. Internet Explorer: hold down Ctrl and click the Refresh or Reload button. Firefox: hold down ⇧ Shift while clicking Reload (or press Ctrl+⇧ Shift+R). Google Chrome and Safari users can just click the Reload button. For details and instructions about other browsers, see Wikipedia:Bypass your cache.

/**
 * Add the following to your common.js to config the keyboard shortcut.
 */
mw.loader.using( 'ext.gadget.MarkupFormatting' ).then( function() {
	window.MARKUP_FORMATTING_ONKEYDOWN_SET( function( e ) {
		return /* Predicate indicating the keyboard pressed keys. */;
	} );
} );