RESOLVED DUPLICATE of bug 231496 231498
Geolocation: change DOMTimeStamp to EpochTimeStamp 
https://bugs.webkit.org/show_bug.cgi?id=231498
Summary Geolocation: change DOMTimeStamp to EpochTimeStamp
Marcos Caceres
Reported 2021-10-10 21:42:18 PDT
The DOMTimeStamp typedef is not "EpochTimeStamp", so Geolocation's GeolocationPosition's timestamp attribute needs a type change. Spec change: https://github.com/w3c/geolocation-api/pull/104 Related to https://bugs.webkit.org/show_bug.cgi?id=231496
Attachments
Add attachment proposed patch, testcase, etc.
Marcos Caceres
Comment 1 2021-10-10 21:45:51 PDT
s/is not/is now
Chris Dumez
Comment 2 2021-10-11 08:02:53 PDT
*** This bug has been marked as a duplicate of bug 231496 ***
Note You need to log in before you can comment on or make changes to this bug.