[whatwg/dom] Update Event.timeStamp type to DOMHighResTimeStamp. (#420)

Update Event.timeStamp type to DOMHighResTimeStamp.

This fixes #23 and the commit contains the following changes:
- The text asks for the high resolution time of the event occurrence time to be used when
available and otherwise event object creation time.
- Add note in legacy section describing the change in semantic.
- Add note encouraging user agents to make high res time available for UI Events.
- Add necessary spec reference for Bikeshed to pick up new definitions in hr-time spec.
You can view, comment on, or merge this pull request online at:

  https://github.com/whatwg/dom/pull/420

-- Commit Summary --

  * Use DOMHighResTimeStamp for Event.timeStamp.

-- File Changes --

    M dom.bs (27)

-- Patch Links --

https://github.com/whatwg/dom/pull/420.patch
https://github.com/whatwg/dom/pull/420.diff

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/whatwg/dom/pull/420