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

We probably can’t switch because of web compat. It’s used to determine the age of the acquired position. 

But we could rename it LegacyGeolocationTimeStamp as it’s just a typedef and define it as used by the API. That could finally kill it from the platform. 

GitHub Notification of comment by marcoscaceres
Please view or discuss this issue at using your GitHub account

Sent via github-notify-ml as configured in

Received on Tuesday, 31 August 2021 12:28:35 UTC