| 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):
|
|
|