Adds compatibility.js to the Firefox extension

Fixes #4854

(Needed for #4673)