Fixes window.opera undefined in other browsers.