Exposing high-res time in workers

Hi all,

I am sitting in an EmpireJS talk by Andrew Petersen, CC’ed, who pointed out on-stage that one of the features he misses inside web workers is high-resolution time. If there's a desire for use-cases, I hope he can chime in.

From a spec perspective, this seems like a pretty easy tweak: I believe the WebIDL these days is [Exposed=Window,Worker]. I assume from an implementation perspective it is not much harder either.

What does the working group think?