summaryrefslogtreecommitdiffstats
path: root/client/src/com/vaadin/Vaadin.gwt.xml
diff options
context:
space:
mode:
authorArtur Signell <artur@vaadin.com>2014-02-10 18:04:29 +0200
committerVaadin Code Review <review@vaadin.com>2014-02-11 11:47:48 +0000
commit507bd99a25e4a30e16f74cde1e93ef178580f1cc (patch)
tree2e35187c9e94493fc986d98a832a45aa12c6e754 /client/src/com/vaadin/Vaadin.gwt.xml
parent5e993486f1196971596ee0add0c73dd9603d9068 (diff)
downloadvaadin-framework-507bd99a25e4a30e16f74cde1e93ef178580f1cc.tar.gz
vaadin-framework-507bd99a25e4a30e16f74cde1e93ef178580f1cc.zip
Re-enable Opera permutation (#13259)
Change-Id: I0dd70ed200ae587386081599e34dcfee9b2031dd
Diffstat (limited to 'client/src/com/vaadin/Vaadin.gwt.xml')
-rw-r--r--client/src/com/vaadin/Vaadin.gwt.xml3
1 files changed, 2 insertions, 1 deletions
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>