This is no longer necessary because it served only to solve a bug in the keyboard navigation (right key = next page, left key = prev page).
The files that must be changed are:
*Changed: https://gerrit.wikimedia.org/r/gitweb?p=mediawiki/extensions/BookManager.git;a=blob;f=BookManager.php;h=8ea3a9431684f106acea095ff08c390a96979e50;hb=HEAD
*Changed: https://gerrit.wikimedia.org/r/gitweb?p=mediawiki/extensions/BookManager.git;a=blob;f=client/bookmanager.js;h=c5c3f5e4165c73511b9e2b540f5b592694701d05;hb=HEAD
*Removed: https://gerrit.wikimedia.org/r/gitweb?p=mediawiki/extensions/BookManager.git;a=blob;f=client/jquery.hotkeys.js;h=9a8f2de66dba7fe4670c73f5bf8963331f549189;hb=HEAD
This page can be useful in changing the bookmanager.js: http://pt.wikibooks.org/w/index.php?title=MediaWiki:Gadget-AutoNav.js&diff=227287&oldid=226853
Version: master
Severity: normal