W3C home > Mailing lists > Public > public-geolocation@w3.org > August 2021

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

From: Yoav Weiss via GitHub <sysbot+gh@w3.org>
Date: Tue, 31 Aug 2021 09:00:55 +0000
To: public-geolocation@w3.org
Message-ID: <issues.opened-983618328-1630400453-sysbot+gh@w3.org>
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

This archive was generated by hypermail 2.4.0 : Tuesday, 31 August 2021 09:01:00 UTC