[FEATURE REQUEST] window.performance.now is not provided

[adrien-n]

It would be nice to provide bindings to window.performance.now ( https://developer.mozilla.org/en-US/docs/Web/API/Performance/now ).

The precision has been reduced because of the concerns raised by spectre-class attacks and isn't much better than Date's but the API is really much nicer to work with.

Thanks.

[hhugo]

Alternatively, you can use Sys.time () directly.

[hhugo]

It returns seconds instead of milliseconds