mozilla/pdf.js — pull request #3489 by Snuffleupagus (2013-07-18 15:28:21+00:00)
Title: Move PDFHistory from viewer.js to its own file

As part of the process of slimming down viewer.js, this PR moves `PDFHistory` to its own file.