Removes unused code from web/compatibility.js

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