michael@0: /**
michael@0:  * File which includes stuff for Mozilla-specific checks which shouldn't happen
michael@0:  * in other browsers but which we wish to test.
michael@0:  */
michael@0: 
michael@0: var isMozilla = navigator.product === "Gecko" && "buildID" in navigator;