if (browserFireFox) properties.setBrowserMozillaFirefox(true);
/** * sets the mozilla/firefox specific properties */ private void setMozillaProperties() { properties.setBrowserMozillaFirefox(UserAgent.FIREFOX.matches(getUserAgent())); properties.setBrowserMozilla(UserAgent.MOZILLA.matches(getUserAgent())); if (properties.isBrowserMozilla()) { if (properties.isBrowserMozillaFirefox()) { // e.g.: Mozilla/5.0 (X11; U; Linux i686; pl-PL; rv:1.9.0.2) Gecko/20121223 // Ubuntu/9.25 (jaunty) Firefox/3.8 setMajorMinorVersionByPattern("firefox/(\\d+)\\.(\\d+)"); } } }
if (browserFireFox) properties.setBrowserMozillaFirefox(true);