Index: src/com/dom_distiller/client/DomUtil.java |
diff --git a/src/com/dom_distiller/client/DomUtil.java b/src/com/dom_distiller/client/DomUtil.java |
index 23122a778d9f38e33ef8183e870483f66507187c..12ebadf819606c4ed10a7c4d1ada796b78c2af3c 100644 |
--- a/src/com/dom_distiller/client/DomUtil.java |
+++ b/src/com/dom_distiller/client/DomUtil.java |
@@ -96,6 +96,11 @@ public class DomUtil { |
return node.innerText; |
}-*/; |
+ public static native double getTime() /*-{ |
+ // window.performance is unavailable in Gwt's dev environment. |
+ return window.performance ? window.performance.now() : 0; |
+ }-*/; |
+ |
/** |
* Use jsni for direct access to javascript's textContent. textContent is different from |
* innerText (see http://www.kellegous.com/j/2013/02/27/innertext-vs-textcontent): |