| Index: java/org/chromium/distiller/DomUtil.java
|
| diff --git a/java/org/chromium/distiller/DomUtil.java b/java/org/chromium/distiller/DomUtil.java
|
| index 91aabde47318504a08c1e51fc2aea35a7230f3e4..d0bcb1bfd7330c1cc8c56be59fdbc6320918284f 100644
|
| --- a/java/org/chromium/distiller/DomUtil.java
|
| +++ b/java/org/chromium/distiller/DomUtil.java
|
| @@ -112,8 +112,9 @@ public class DomUtil {
|
| }-*/;
|
|
|
| public static native double getTime() /*-{
|
| - // window.performance is unavailable in Gwt's dev environment.
|
| - if (window.performance) {
|
| + // window.performance is unavailable in Gwt's dev environment and even referencing it on iOS
|
| + // causes a crash.
|
| + if ((typeof distiller_on_ios === 'undefined' || !distiller_on_ios) && window.performance) {
|
| return window.performance.now();
|
| }
|
| return Date.now();
|
|
|