Make the mediawiki editor support edit hotkey