From 507bd99a25e4a30e16f74cde1e93ef178580f1cc Mon Sep 17 00:00:00 2001
From: Artur Signell <artur@vaadin.com>
Date: Mon, 10 Feb 2014 18:04:29 +0200
Subject: [PATCH] Re-enable Opera permutation (#13259)

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

diff --git a/client/src/com/vaadin/Vaadin.gwt.xml b/client/src/com/vaadin/Vaadin.gwt.xml
index 50600c5cbb..d4eb454e86 100644
--- a/client/src/com/vaadin/Vaadin.gwt.xml
+++ b/client/src/com/vaadin/Vaadin.gwt.xml
@@ -59,8 +59,9 @@
 
     <!-- Use the new cross site linker to get a nocache.js without document.write -->
     <add-linker name="xsiframe" />
+    <extend-property name="user.agent" values="opera" />
 
     <!-- Remove IE6/IE7 permutation as they are not supported -->
-    <set-property name="user.agent" value="ie8,ie9,ie10,gecko1_8,safari" />
+    <set-property name="user.agent" value="ie8,ie9,ie10,gecko1_8,safari,opera" />
 
 </module>
-- 
2.39.5