XWIKI-11439: Selecting a page using the arrow keys on the "Jump to Page" modal doesn't work on IE11
- Warning: Prototype.Browser.IE is no longer up to date and thus, not detecting IE11.