Bug 231498

Summary:	Geolocation: change DOMTimeStamp to EpochTimeStamp
Product:	WebKit	Reporter:	Marcos Caceres <marcos>
Component:	New Bugs	Assignee:	Nobody <webkit-unassigned>
Status:	RESOLVED DUPLICATE
Severity:	Normal	CC:	cdumez
Priority:	P2
Version:	Other
Hardware:	Unspecified
OS:	Unspecified
URL:	https://github.com/w3c/geolocation-api/pull/104
Bug Depends on:	231496
Bug Blocks:

Description Marcos Caceres 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

Comment 1 Marcos Caceres 2021-10-10 21:45:51 PDT

s/is not/is now

Comment 2 Chris Dumez 2021-10-11 08:02:53 PDT


*** This bug has been marked as a duplicate of bug 231496 ***