mozilla/pdf.js — pull request #4767 by timvandermeij (2014-05-09 19:27:12+00:00)
Title: Removes unused code from web/compatibility.js

Fixes https://github.com/mozilla/pdf.js/commit/fd4fc89213a4b8abe8c0ce1d1eab410e32e27ad8#commitcomment-6269459.