[HighResolutionTime2] Add DOMHighResTimeStamp to Event?

Hi,
Last October there was some agreement [1] that Event should expose a
DOMHighResTimeStamp, and that it belongs in the HighResolutionTime v2 spec.
 We removed [2] the hwTimestamp property from the PointerEvent
specification [3] in preference for this more general mechanism.

Any update on adding this to the HighResolutionTime2 spec?

Thanks,
   Rick

[1] http://lists.w3.org/Archives/Public/public-web-perf/2012Oct/0046.html
[2] https://www.w3.org/Bugs/Public/show_bug.cgi?id=20220
[3] http://www.w3.org/TR/pointerevents/