mozilla/pdf.js — pull request #2921 by Snuffleupagus (2013-03-10 20:25:05+00:00)
Title: [Prototype] PDF browsing history - using window.history

This PR implements a browsing history prototype for PDF files, using window.history.
The history is thus navigated using the standard browser history interface, since the consensus in #2768 seemed to favour this approach.

Related issues: #900, #750 and [bug 842670](https://bugzilla.mozilla.org/show_bug.cgi?id=842670).