mozilla/pdf.js — pull request #2975 by mduan (2013-03-20 02:01:37+00:00)
Title: Log how long it takes for the getDocument() to complete

Was trying something to see if I could make `Lexer.getNumber()` faster. That didn't work out, but coded up this as a consequence.