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

Geolocation is [not the only user today](https://github.com/heycam/webidl/issues/2#issuecomment-909030799). Agree that renaming it may prevent new users though.

-- 
GitHub Notification of comment by yoavweiss
Please view or discuss this issue at https://github.com/w3c/geolocation-api/issues/103#issuecomment-909193967 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 12:32:24 UTC