From a2bf94616f7f58ec4256aaf1f9dbad735a20f529 Mon Sep 17 00:00:00 2001
From: Juho Nurminen <juho@vaadin.com>
Date: Thu, 14 Aug 2014 17:11:38 +0300
Subject: [PATCH] Update modernie property provider to recognize IE11 on WP 8.1
 Update (#14376)

Change-Id: I8df8260bf875dd2a3cf974885bde8b473f4951a5
---
 client/src/com/vaadin/Vaadin.gwt.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/client/src/com/vaadin/Vaadin.gwt.xml b/client/src/com/vaadin/Vaadin.gwt.xml
index 711729f64f..aad0563975 100644
--- a/client/src/com/vaadin/Vaadin.gwt.xml
+++ b/client/src/com/vaadin/Vaadin.gwt.xml
@@ -68,7 +68,7 @@
     <property-provider name="modernie"><![CDATA[
       {
         var ua = $wnd.navigator.userAgent;
-        if (ua.indexOf('IE') == -1 && ua.indexOf('Trident') != -1) { return 'yes'; }
+        if (ua.indexOf('MSIE') == -1 && ua.indexOf('Trident') != -1) { return 'yes'; }
         return 'none';
       }
     ]]></property-provider>
-- 
2.39.5