Consider using DOMHighResTimestamp instead of DOMTimeStamp

w3c / push-api

Push API

https://w3c.github.io/push-api/

Other

144 stars 40 forks source link

Consider using DOMHighResTimestamp instead of DOMTimeStamp #337

Closed yoavweiss closed 2 years ago

yoavweiss commented 2 years ago

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.

marcoscaceres commented 2 years ago

It sets: https://w3c.github.io/push-api/#dfn-subscription-expiration-time

So, same as Geo. But we can probably just rename it or just use a unsigned long long.