Definitive list of GWT user.agent properties and the browsers they correspond to

Question

Does anyone know of a definitive list of GWT's user.agent properties and the targeted browsers? I'll be damned if I can find such a thing anywhere on the web!

Answer 1

Latest gwt "user.agent" property values can be found in UserAgent.gwt.xml file:

<define-property name="user.agent" values="ie6" /> <!-- ie6 also matches ie7-->
  <extend-property name="user.agent" values="ie8" />
  <extend-property name="user.agent" values="gecko1_8" /> <!-- Firefox 3.0+ -->
  <extend-property name="user.agent" values="safari" /> <!-- Webkit based browsers, usually Safari&Chrome-->
  <extend-property name="user.agent" values="opera" />
  <extend-property name="user.agent" values="ie9" fallback-value="ie8" />

Code which resolves property values can be found at class com.google.gwt.useragent.rebind.UserAgentPropertyGenerator

But this values vary from version to version, also sometimes default values and property provider can be overridden.

Answer 2

Well, I don't have enough reputation to comment on the existing answer, so here's another answer instead! This is just to note that the codebase has moved, and that the GWT source file which contains this information has now moved. The new location is: https://gwt.googlesource.com/gwt/+/master/user/src/com/google/gwt/useragent/UserAgent.gwt.xml

At the time of writing, the list is:

<define-property name="user.agent" values="ie8" />
<extend-property name="user.agent" values="gecko1_8" />
<extend-property name="user.agent" values="safari" />
<extend-property name="user.agent" values="ie9" fallback-value="ie8" />
<extend-property name="user.agent" values="ie10" />