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:

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.