| <?xml version="1.0" encoding="UTF-8"?> |
| <module rename-to='microbenchmarks'> |
| <inherits name='com.google.gwt.user.User'/> |
| <inherits name='com.google.gwt.user.theme.standard.Standard'/> |
| |
| <!-- Specify the app entry point class. --> |
| <entry-point class='com.google.gwt.reference.microbenchmark.client.Microbenchmarks'/> |
| |
| <!-- Specify the paths for translatable code --> |
| <source path='client'/> |
| |
| <!-- Deferred binding for Util. --> |
| <replace-with class="com.google.gwt.reference.microbenchmark.client.UtilImplTrident"> |
| <when-type-is class="com.google.gwt.reference.microbenchmark.client.UtilImpl" /> |
| <any> |
| <when-property-is name="user.agent" value="ie6" /> |
| <when-property-is name="user.agent" value="ie8" /> |
| <when-property-is name="user.agent" value="ie9" /> |
| </any> |
| </replace-with> |
| |
| </module> |