/** * sets the safari specific properties */ private void setSafariProperties() { properties.setBrowserSafari(UserAgent.SAFARI.matches(getUserAgent())); if (properties.isBrowserSafari()) { String userAgent = getUserAgentStringLc(); if (userAgent.contains("version/")) { // e.g.: Mozilla/5.0 (Windows; U; Windows NT 6.1; sv-SE) AppleWebKit/533.19 // (KHTML, like Gecko) Version/5.0.3 Safari/533.19.4 setMajorMinorVersionByPattern("version/(\\d+)\\.(\\d+)"); } } }
properties.setBrowserSafari(true);