mozilla/pdf.js — pull request #3385 by Snuffleupagus (2013-06-24 19:02:14+00:00)
Title: Check if the browser supports manipulation of the history

This PR adds a check in `compatibility.js`, to determine if the browser supports history manipulation. If this isn't the case, `PDFHistory` will be disabled.
This PR also adds the `disableHistory` hash parameter, which enables the user to manually disable the browsing history.

In my testing, this fixes issue #3380.
It's also possible that this will fix issue #3381, but I cannot confirm this since I don't have access to an Android device.