Recognize IE10 GWT permutation for Themer

Change-Id: Id8905f5b07f14c54555a3ebf79fc979c9c3f52be
2013-12-02 15:08:19 -08:00 · 2013-12-02 15:08:19 -08:00 · 685af77b59
commit 685af77b59
parent 4da0b246ca
1 changed files with 1 additions and 0 deletions
--- a/gerrit-gwtui/src/main/java/com/google/gerrit/UserAgent.gwt.xml
+++ b/gerrit-gwtui/src/main/java/com/google/gerrit/UserAgent.gwt.xml
@ -35,6 +35,7 @@
      <when-property-is name="user.agent" value="ie6"/>
      <when-property-is name="user.agent" value="ie8"/>
      <when-property-is name="user.agent" value="ie9"/>
+      <when-property-is name="user.agent" value="ie10"/>
    </any>
  </replace-with>
 </module>