[geolocation-api] Consider using DOMHighResTimestamp instead of DOMTimeStamp (#103)

yoavweiss has just created a new issue for https://github.com/w3c/geolocation-api:

== Consider using DOMHighResTimestamp instead of DOMTimeStamp ==
We're considering our options RE `DOMTimeStamp`, and wondering what it's used for. It seems less well-defined than `DOMHighResTimestamp`. Would y'all consider switching over?

See heycam/webidl#2 for discussion.

Please view or discuss this issue at https://github.com/w3c/geolocation-api/issues/103 using your GitHub account


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Tuesday, 31 August 2021 09:00:59 UTC