Removes unused code from web/compatibility.js
Merge pull request #4767 from timvandermeij/cleanup

Removes unused code from web/compatibility.js