[geolocation-api] List of active times is gone (#113)

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

== List of active times is gone ==
@domenic, exciting to see https://github.com/whatwg/html/commit/19aad5836e2d128c7c87f152e6e3bc6c4ff32d19 updating the timer related prose/algos in HTML. 

Geolocation was depending on the "list of active timers" as part of the [request position](https://w3c.github.io/geolocation-api/#request-position) steps. I'm wondering if you can provide us with some guidance for integrating with the newly exported "run steps after a timeout"?... also, should we use the new timer task source?  

(I'll slap something together... is it ok if I bug you for review?🙏)


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


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

Received on Wednesday, 1 December 2021 00:10:31 UTC