mozilla/pdf.js — pull request #2405 by mehlis (2012-11-24 20:31:36+00:00)
Title: Update src/obj.js

fix Issue #1523