Hi!
Could you add this plugin to /resources/jquery, so that it can be used as a module? E.g.:
mw.loader.using( 'jquery.hotkeys', function() {
// Some code...
} );
Version: unspecified
Severity: enhancement
URL: https://github.com/jeresig/jquery.hotkeys