mozilla/pdf.js — pull request #4636 by fkaelberer (2014-04-16 19:38:15+00:00)
Title: Rename getUint32 to getInt32 and collect readInt*() in util.js

Fixes #4553 and collects duplicate readInt[16|32] functions in util.js.