mozilla/pdf.js — pull request #4367 by nnethercote (2014-03-03 07:28:09+00:00)
Title: Remove unneeded |oldtypes| variable from bidi.js.

bidi() is a hot function, often called 10s or even 100s of 1000s of times per document.