[w3c/push-api] Allow firing pushsubscriptionchange on all permission changes (PR #400)

Closes #236

The following tasks have been completed:

 * [ ] Modified Web platform tests (link to pull request)
 No, because this allows and does not mandate firing the event. Moreover, WPT support for changing permissions is kind of limited at the moment.

Implementation commitment:
 
 * [x] Chromium (https://issues.chromium.org/issues/407523313)
 * [x] Gecko (This is implemented already, see https://bugzilla.mozilla.org/show_bug.cgi?id=1497429)
 * [ ] WebKit (unknown)


<!--
    This comment and the below content is programmatically generated.
    You may add a comma-separated list of anchors you'd like a
    direct link to below (e.g. #idl-serializers, #idl-sequence):

    Don't remove this comment or modify anything below this line.
    If you don't want a preview generated for this pull request,
    just replace the whole of this comment's content by "no preview"
    and remove what's below.
-->
***
<a href="https://pr-preview.s3.amazonaws.com/antosart/push-api/pull/400.html" title="Last updated on Apr 22, 2025, 9:42 AM UTC (0cf558e)">Preview</a> | <a href="https://pr-preview.s3.amazonaws.com/w3c/push-api/400/fe3f8ff...antosart:0cf558e.html" title="Last updated on Apr 22, 2025, 9:42 AM UTC (0cf558e)">Diff</a>
You can view, comment on, or merge this pull request online at:

  https://github.com/w3c/push-api/pull/400

-- Commit Summary --

  * Allow firing pushsubscriptionchange on all permission changes

-- File Changes --

    M index.html (10)

-- Patch Links --

https://github.com/w3c/push-api/pull/400.patch
https://github.com/w3c/push-api/pull/400.diff

-- 
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/pull/400
You are receiving this because you are subscribed to this thread.

Message ID: <w3c/push-api/pull/400@github.com>