Add check for IE9 and IE10 versions
If version >= 9000 return "ie9",
if version >= 10000 return "ie10".
Bug: issue 926
Change-Id: Ic9bb04f57b91d4ed785cd5e03c9390b523a5cba4
diff --git a/pom.xml b/pom.xml
index ac5296a..1268393 100644
--- a/pom.xml
+++ b/pom.xml
@@ -21,7 +21,7 @@
<groupId>gwtexpui</groupId>
<artifactId>gwtexpui</artifactId>
<packaging>jar</packaging>
- <version>1.3</version>
+ <version>1.3.1</version>
<name>gwtexpui</name>
<description>Extended UI tools for GWT</description>
<url>https://gerrit.googlesource.com/gwtexpui</url>
diff --git a/src/main/java/com/google/gwtexpui/linker/server/UserAgentRule.java b/src/main/java/com/google/gwtexpui/linker/server/UserAgentRule.java
index f57db87..366b6c5 100644
--- a/src/main/java/com/google/gwtexpui/linker/server/UserAgentRule.java
+++ b/src/main/java/com/google/gwtexpui/linker/server/UserAgentRule.java
@@ -58,6 +58,12 @@
Matcher m = msie.matcher(ua);
if (m.matches() && m.groupCount() == 2) {
int v = makeVersion(m);
+ if (v >= 10000) {
+ return "ie10";
+ }
+ if (v >= 9000) {
+ return "ie9";
+ }
if (v >= 8000) {
return "ie8";
}