diff options
| author | Jason Tsai <git@pews.dev> | 2025-02-19 00:56:57 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-02-18 16:56:57 +0000 |
| commit | 22c3a63737b1839a286659166885c569f138b9e3 (patch) | |
| tree | 90ffada37b25c30620856596255eef2f22651755 /python/tidy/tidy.py | |
| parent | 14d591c4625d83d911c9880fb2cc25b8d0b0aa95 (diff) | |
| download | servo-22c3a63737b1839a286659166885c569f138b9e3.tar.gz servo-22c3a63737b1839a286659166885c569f138b9e3.zip | |
feat: add `Notification` Web API binding (#34842)
* feat: add Notification Web API binding
Signed-off-by: Jason Tsai <git@pews.dev>
* chore: update spec link
Signed-off-by: Jason Tsai <git@pews.dev>
* chore: fix clippy
Signed-off-by: Jason Tsai <git@pews.dev>
* fix: index overflow
Signed-off-by: Jason Tsai <git@pews.dev>
* test(tidy): add notification WebIDL standard URL
Signed-off-by: Jason Tsai <git@pews.dev>
* fix: allow crown::unrooted_must_root
Signed-off-by: Jason Tsai <git@pews.dev>
* implement GetPermission
Signed-off-by: Jason Tsai <git@pews.dev>
* fix silent type
Signed-off-by: Jason Tsai <git@pews.dev>
* add all properties
Signed-off-by: Jason Tsai <git@pews.dev>
* test: add Notification to global
Signed-off-by: Jason Tsai <git@pews.dev>
* chore: update wpt manifest and fix clippy
Signed-off-by: Jason Tsai <git@pews.dev>
* test: temp skip notifications
Signed-off-by: Jason Tsai <git@pews.dev>
* add vibration and apply suggestions
Signed-off-by: Jason Tsai <git@pews.dev>
* partially implement RequestPermission
Signed-off-by: Jason Tsai <git@pews.dev>
* call Permission request permission algorithm
Signed-off-by: Jason Tsai <git@pews.dev>
* chore: pub crate Notification
Signed-off-by: Jason Tsai <git@pews.dev>
* chore: fix clippy
Signed-off-by: Jason Tsai <git@pews.dev>
* chore: crown attribute
Signed-off-by: Jason Tsai <git@pews.dev>
* fix part of suggestions
Signed-off-by: Jason Tsai <git@pews.dev>
* fix: store private `Action` structure
Signed-off-by: Jason Tsai <git@pews.dev>
* chore: fix typo
Signed-off-by: Jason Tsai <git@pews.dev>
* fix: serialize images URL
Signed-off-by: Jason Tsai <git@pews.dev>
* fix: use globalscope as environment settings object
Signed-off-by: Jason Tsai <git@pews.dev>
* chore: add pref `dom_notification_enabled` and default to disabled
Signed-off-by: Jason Tsai <git@pews.dev>
* fix: use `descriptor_permission_state`
Signed-off-by: Jason Tsai <git@pews.dev>
* apply suggestions
Signed-off-by: Jason Tsai <git@pews.dev>
Co-authored-by: Josh Matthews <josh@joshmatthews.net>
* test: remove passed meta
Signed-off-by: Jason Tsai <git@pews.dev>
* test: enable notification prefs in mozilla tests
Signed-off-by: Jason Tsai <git@pews.dev>
---------
Signed-off-by: Jason Tsai <git@pews.dev>
Co-authored-by: Josh Matthews <josh@joshmatthews.net>
Diffstat (limited to 'python/tidy/tidy.py')
| -rw-r--r-- | python/tidy/tidy.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/python/tidy/tidy.py b/python/tidy/tidy.py index 03a937be9ec..4109e95786c 100644 --- a/python/tidy/tidy.py +++ b/python/tidy/tidy.py @@ -101,6 +101,7 @@ WEBIDL_STANDARDS = [ b"//github.com/immersive-web/webxr-test-api/", b"//github.com/immersive-web/webxr-hands-input/", b"//gpuweb.github.io", + b"//notifications.spec.whatwg.org", # Not a URL b"// This interface is entirely internal to Servo, and should not be" + b" accessible to\n// web pages." |