Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-10-02 17:49:16 +01:00
Code Issues Projects Releases Packages Wiki Activity

script: Stubs for geolocation interfaces (#39584)

Browse source 
Needed for #39526; stubs out all the necessary interface from
https://www.w3.org/TR/geolocation/.

Testing: WPT

Signed-off-by: Ashwin Naren <arihant2math@gmail.com>
This commit is contained in:
Ashwin Naren 2025-10-01 21:17:36 -07:00 • committed by GitHub
parent 9e380614ee
commit 65588cd5df
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
28 changed files with 494 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

1
python/tidy/tidy.py
View file

@ -115,6 +115,7 @@ WEBIDL_STANDARDS = [
b"//dvcs.w3.org/hg",
b"//www.w3.org/TR/trusted-types/",
b"//www.w3.org/TR/credential-management",
b"//www.w3.org/TR/geolocation",
b"//dom.spec.whatwg.org",
b"//drafts.csswg.org",
b"//drafts.css-houdini.org",