Identify too old Safari browsers based on webkit version (#9423)

Detection based on "safari" version is not reliable because of the way
various browsers based on webkit report their version numbers in the
user agent string.

diff --git a/shared/src/com/vaadin/shared/VBrowserDetails.java b/shared/src/com/vaadin/shared/VBrowserDetails.java
index 7646d2ba01a348674c4e9fd725608f32661292f3..2e81fbfe6160cbe35eff9ba2eb6a41a4e3fb697e 100644 (file)
--- a/shared/src/com/vaadin/shared/VBrowserDetails.java
+++ b/shared/src/com/vaadin/shared/VBrowserDetails.java
@@ -460,7 +460,8 @@ public class VBrowserDetails implements Serializable {
         if (isIE() && getBrowserMajorVersion() < 8) {
             return true;
         }
-        if (isSafari() && getBrowserMajorVersion() < 5) {
+        // Webkit 533 in Safari 4.1+, Android 2.2+, iOS 4+
+        if (isSafari() && getBrowserEngineVersion() < 533) {
             return true;
         }
         if (isFirefox() && getBrowserMajorVersion() < 4) {