From d44656e847a48a0e14ccf10c73aa6f0cf5165327 Mon Sep 17 00:00:00 2001 From: Anne van Kesteren Date: Fri, 12 Jul 2024 17:03:50 +0200 Subject: [PATCH 1/3] Add Declarative Web Push This introduces a new feature whereby push messages conforming to a certain JSON format directly create an end user notification and show it (possibly preceded by an enhanced push event). In addition to showing a notification, the app badge can be updated as well. This builds on https://github.com/whatwg/notifications/pull/213 which adds URL members to notifications. Exposing PushManager outside of service workers is handled by #393. --- index.html | 860 +++++++++++++++++++++++++++++++++++++++++++++++++---- 1 file changed, 801 insertions(+), 59 deletions(-) diff --git a/index.html b/index.html index e4b4acb..07d3523 100644 --- a/index.html +++ b/index.html @@ -56,7 +56,8 @@ }; - +

The Push API enables sending of a push message to a web application via @@ -164,6 +165,559 @@

service worker is not currently running, the worker is started to enable delivery.

+
+

+ Declarative push message +

+

+ A declarative push message is a [=push message=] whose data is a JSON document + that is understood by the user agent. A user agent opportunistically parses each incoming + [=push message=] to determine if it is a [=declarative push message=] using the + [=declarative push message parser=]. +

+

+ A [=declarative push message=] allows for the creation and display of a notification + without the involvement of a service worker. Nevertheless, a service worker can still be + involved if desired by the [=application server=]. In such a scenario the declarative + nature of the [=push message=] serves as a backup in case the service worker was evicted + due to storage pressure, for instance. And also provides a more object-oriented approach + to transmitting notification data. +

+ 
+          {
+            "web_push": 8030,
+            "notification": {
+              "title": "Ada emailed ‘London’",
+              "lang": "en-US",
+              "dir": "ltr",
+              "body": "Did you hear about the tube strikes?",
+              "navigate": "https://email.example/message/12"
+            }
+          }
+
+
+

+ Members +

+

+ A [=declarative push message=] has the following members: +

+
+
+ web_push (required) +
+
+

+ An integer that must be 8030. Used to disambiguate a [=declarative push message=] + from other JSON documents. +

+
+
+ notification (required) +
+
+

+ A JSON object consisting of the following members, all analogous to Notifications + API features, though sometimes with a slightly stricter type. Apart from + title all members are derived from the {{NotificationOptions}} + dictionary and to be maintained in tandem. [[NOTIFICATIONS]] +

+
+
+ title (required) +
+
+

+ A string. +

+
+
+ dir +
+
+

+ "auto", "ltr", or "rtl". +

+
+
+ lang +
+
+

+ A string that holds a language tag. +

+
+
+ body +
+
+

+ A string. +

+
+
+ navigate (required) +
+
+

+ A string that holds a URL. +

+
+
+ tag +
+
+

+ A string. +

+
+
+ image +
+
+

+ A string that holds a URL. +

+
+
+ icon +
+
+

+ A string that holds a URL. +

+
+
+ badge +
+
+

+ A string that holds a URL. +

+
+
+ vibrate +
+
+

+ An array of [=/32-bit unsigned integers=]. +

+
+
+ timestamp +
+
+

+ A [=/64-bit unsigned integer=]. +

+
+
+ renotify +
+
+

+ A boolean. +

+
+
+ silent +
+
+

+ A boolean. +

+
+
+ requireInteraction +
+
+

+ A boolean. +

+

+ This is not named require_interaction for consistency with the + {{NotificationOptions}} dictionary. +

+
+
+ data +
+
+

+ Any JSON value. +

+
+
+ actions +
+
+

+ An array of JSON objects consisting of the following members, all derived from + the {{NotificationAction}} dictionary and to be maintained in tandem. +

+
+
+ action (required) +
+
+

+ A string. +

+
+
+ title (required) +
+
+

+ A string. +

+
+
+ navigate (required) +
+
+

+ A string that holds a URL. +

+
+
+ icon +
+
+

+ A string that holds a URL. +

+
+
+
+
+
+
+ app_badge +
+
+

+ A [=/64-bit unsigned integer=]. +

+

+ Platform conventions are likely to impose a lower limit with regards to what is + displayed to the end user. [[BADGING]] +

+
+
+ mutable +
+
+

+ A boolean. When true causes a push event to be dispatched to a service + worker (if any) containing the {{Notification}} object and app badge number (if + any) described by the declarative push message. +

+
+
+
+
+

+ Parser +

+

+ A declarative push message parser result is a [=/tuple=] consisting of a + notification (a + [=/notification=]), an app + badge (null or an integer), and a mutable (a boolean). +

+

+ The declarative push message parser given a [=/byte sequence=] + bytes, [=/origin=] origin, [=/URL=] baseURL, and + {{EpochTimeStamp}} fallbackTimestamp runs these steps. They return failure + or a [=/declarative push message parser result=]. +

+
    +
  1. +

    + Let message be the result of [=parse JSON bytes to an Infra + value|parsing JSON bytes to an Infra value=] given bytes. If that throws + an exception, then return failure. +

    +
    2. +
  2. +

    + If message is not a [=/map=], then return failure. +

    +
    3. +
  3. +

    + If message["`web_push`"] does not [=map/exist=] or is not 8030, then + return failure. +

    +
    4. +
  4. +

    + If message["`notification`"] does not [=map/exist=], then return + failure. +

    +
    5. +
  5. +

    + Let notificationInput be message["`notification`"]. +

    +
    6. +
  6. +

    + If notificationInput is not a [=/map=], then return failure. +

    +
    7. +
  7. +

    + If notificationInput["`title`"] does not [=map/exist=] or is not a + string, then return failure. +

    +
    8. +
  8. +

    + If notificationInput["`navigate`"] does not [=map/exist=] or is not a + string, then return failure. +

    +
    9. + +
  9. +

    + Let notificationTitle be notificationInput["`title`"]. +

    +
    10. +
  10. +

    + Let notificationOptions be a {{NotificationOptions}} dictionary. +

    +
    11. +
  11. +

    + If notificationInput["`dir`"] [=map/exists=] and is "`auto`", "`ltr`", + or "`rtl`", then set notificationOptions["{{NotificationOptions/dir}}"] + to notificationInput["`dir`"]. +

    +
    12. +
  12. +

    + If notificationInput["`lang`"] [=map/exists=] and is a string, then set + notificationOptions["{{NotificationOptions/lang}}"] to + notificationInput["`lang`"]. +

    +
    13. +
  13. +

    + If notificationInput["`body`"] [=map/exists=] and is a string, then set + notificationOptions["{{NotificationOptions/body}}"] to + notificationInput["`body`"]. +

    +
    14. +
  14. +

    + Set notificationOptions["{{NotificationOptions/navigate}}"] to + notificationInput["`navigate`"], [=string/converted=]. +

    +
    15. +
  15. +

    + If notificationInput["`tag`"] [=map/exists=] and is a string, then set + notificationOptions["{{NotificationOptions/tag}}"] to + notificationInput["`tag`"]. +

    +
    16. +
  16. +

    + If notificationInput["`image`"] [=map/exists=] and is a string, then set + notificationOptions["{{NotificationOptions/image}}"] to + notificationInput["`image`"], [=string/converted=]. +

    +
    17. +
  17. +

    + If notificationInput["`icon`"] [=map/exists=] and is a string, then set + notificationOptions["{{NotificationOptions/icon}}"] to + notificationInput["`icon`"], [=string/converted=]. +

    +
    18. +
  18. +

    + If notificationInput["`badge`"] [=map/exists=] and is a string, then set + notificationOptions["{{NotificationOptions/badge}}"] to + notificationInput["`badge`"], [=string/converted=]. +

    +
    19. +
  19. +

    + If notificationInput["`vibrate`"] [=map/exists=] and is a [=/list=] of + which each [=list/item=] is a [=/32-bit unsigned integer=], then set + notificationOptions["{{NotificationOptions/vibrate}}"] to + notificationInput["`vibrate`"]. +

    +
    20. +
  20. +

    + If notificationInput["`timestamp`"] [=map/exists=] and is a [=/64-bit + unsigned integer=], then set + notificationOptions["{{NotificationOptions/timestamp}}"] to + notificationInput["`timestamp`"]. +

    +
    21. +
  21. +

    + If notificationInput["`renotify`"] [=map/exists=] and is a boolean, then + set notificationOptions["{{NotificationOptions/renotify}}"] to + notificationInput["`renotify`"]. +

    +
    22. +
  22. +

    + If notificationInput["`silent`"] [=map/exists=] and is a boolean, then + set notificationOptions["{{NotificationOptions/silent}}"] to + notificationInput["`silent`"]. +

    +
    23. +
  23. +

    + If notificationInput["`requireInteraction`"] [=map/exists=] and is a + boolean, then set + notificationOptions["{{NotificationOptions/requireInteraction}}"] to + notificationInput["`requireInteraction`"]. +

    +
    24. +
  24. +

    + If notificationInput["`data`"] [=map/exists=], then set + notificationOptions["{{NotificationOptions/data}}"] to the result of + running convert an Infra value to a JSON-compatible JavaScript value given + notificationInput["`data`"]. +

    +
    25. +
  25. +

    + If notificationInput["`actions`"] [=map/exists=] and is a [=/list=]: +

    +
      +
    1. +

      + Let notificationActions be « ». +

      +
      2. +
    2. +

      + [=list/For each=] actionInput of + notificationInput["`actions`"]: +

      +
        +
      1. +

        + If actionInput["`action`"] does not [=map/exist=] or is not a + string, then [=iteration/continue=]. +

        +
        2. +
      2. +

        + If actionInput["`title`"] does not [=map/exist=] or is not a + string, then [=iteration/continue=]. +

        +
        3. +
      3. +

        + If actionInput["`navigate`"] does not [=map/exist=] or is not a + string, then [=iteration/continue=]. +

        +
        4. + +
      4. +

        + Let actionNavigate be actionInput["`navigate`"], + [=string/converted=]. +

        +
        5. +
      5. +

        + Let notificationAction be the {{NotificationAction}} dictionary + «[ "{{NotificationAction/action}}" → actionInput["`action`"], + "{{NotificationAction/title}}" → actionInput["`title`"], + "{{NotificationAction/navigate}}" → actionNavigate ]». +

        +
        6. + +
      6. +

        + If actionInput["`icon`"] [=map/exists=] and is a string, then + set notificationAction["{{NotificationAction/icon}}"] to + actionInput["`icon`"], [=string/converted=]. +

        +
        7. +
      7. +

        + [=list/Append=] notificationAction to + notificationActions. +

        +
        8. +
      +
      3. +
    3. +

      + Set notificationOptions["{{NotificationOptions/actions}}"] to + notificationActions. +

      +
      4. +
    +
    26. +
  26. +

    + Let notification be the result of creating a notification given + notificationTitle, notificationOptions, origin, + baseURL, and fallbackTimestamp. If this throws an exception, + then return failure. +

    +
    27. +
  27. +

    + If notification's [=notification/navigation URL=] is null, then return + failure. +

    +
    28. +
  28. +

    + If the [=notification action/navigation URL=] of any [=/notification action=] of + notification's [=notification/actions=] is null, then return failure. +

    +
    29. +
  29. +

    + Let appBadge be null. +

    +
    30. +
  30. +

    + If message["`app_badge`"] [=map/exists=] and + message["`app_badge`"] is a [=/64-bit unsigned integer=], then set + appBadge to message["`app_badge`"]. +

    +
    31. +
  31. +

    + Let mutable be false. +

    +
    32. +
  32. +

    + If message["`mutable`"] [=map/exists=] and + message["`mutable`"] is a boolean, then set mutable to + message["`mutable`"]. +

    +
    33. +
  33. +

    + Return (notification, appBadge, mutable). +

    +
    34. +
+
+

Push subscription @@ -527,7 +1081,7 @@

The Service Worker specification defines a {{ServiceWorkerRegistration}} interface [[SERVICE-WORKERS]], which this specification extends.

- 
+      
         [SecureContext]
         partial interface ServiceWorkerRegistration {
           readonly attribute PushManager pushManager;
@@ -978,8 +1532,8 @@ 

         };
       

       

-        {{PushMessageData}} objects have an associated bytes (a [=byte sequence=]),
-        which is set on creation.
+        {{PushMessageData}} objects have an associated bytes (a [=byte sequence=]), which is set on creation.
       

       

         The arrayBuffer() method steps are to return an {{ArrayBuffer}} whose contents
@@ -995,11 +1549,11 @@ 

         {{ArrayBuffer}} whose contents are [=this=]'s [=bytes=]. Exceptions thrown during the
         creation of the {{ArrayBuffer}} object are re-thrown.
       

-      

+      

         The json() method steps are to return the result of [=parse JSON bytes to a
         JavaScript value|parsing JSON bytes to a JavaScript value=] given [=this=]'s [=bytes=].
       

-      

+      

         The text() method steps are to return the result of running UTF-8 decode
         on [=this=]'s [=bytes=].
       

@@ -1010,7 +1564,7 @@ 

         
  • Let |bytes| be an empty byte sequence.
         
    • 
         
  • Switch on |object|'s type:
-          
    
+          
    
             
    
               {{BufferSource}}
             
    
@@ -1020,7 +1574,7 @@ 
    
             
    
               {{USVString}}
             
    
-            
    
+            
    
               Set |bytes| to the result of running utf-8 encode on |object|.
             
    
           
    
@@ -1063,12 +1617,22 @@ 
    
         
    
           PushEvent Interface
         
    
-        
    +        
                 [Exposed=ServiceWorker, SecureContext]
             interface PushEvent : ExtendableEvent {
               constructor(DOMString type, optional PushEventInit eventInitDict = {});
               readonly attribute PushMessageData? data;
+              readonly attribute Notification? notification;
+              readonly attribute unsigned long long? appBadge;
             };
+
+            dictionary PushEventInit : ExtendableEventInit {
+              PushMessageDataInit? data = null;
+              Notification? notification = null;
+              unsigned long long? appBadge = null;
+            };
+
+            typedef (BufferSource or USVString) PushMessageDataInit;
           
    
         
    
           When a constructor of the PushEvent interface, or of an interface that
@@ -1082,29 +1646,18 @@ 
    
           
  • Set |b| to the result of extracting a byte
           sequence from the "`data`" member of |eventInitDict|.
           
    • 
-          
  • Set the `data` attribute of the event to a new PushMessageData instance with
-          `bytes` set to |b|.
+          
  • Set the `data` attribute of the event to a new {{PushMessageData}} instance whose
+          [=PushMessageData/bytes=] is |b|.
           
    • 
         
         
    
-          The data, when getting, returns the value it was initialized with.
+          The data attribute must return the value it was initialized with.
+        
    
+        
    
+          The notification attribute must return the value it was initialized with.
         
    
-

    • -
    -

    - PushEventInit dictionary -

    - 
    -            typedef (BufferSource or USVString) PushMessageDataInit;
-
-            dictionary PushEventInit : ExtendableEventInit {
-              PushMessageDataInit data;
-            };
-

    - The data member contains the data included in the push message when - included and the user agent verified its authenticity. The value will be set to - `null` in all other cases. + The appBadge attribute must return the value it was initialized with.

    @@ -1127,28 +1680,169 @@

  • If the push message contains a payload:
      -
    1. Decrypt the push message payload using the private key from the key pair +
    2. Decrypt the push message's payload using the private key from the key pair associated with |subscription| and the process described in [[RFC8291]]. Set |bytes| to the resulting [=/byte sequence=].
      3. -
    3. If the push message payload could not be decrypted for any reason: +
    4. +

      + If the push message payload could not be decrypted for any reason, then + [=acknowledge a push message|acknowledge=] the push message and abort + these steps. +

      +

      + A `push` event is not fired for a push message that was not successfully + decrypted using the key pair associated with the push subscription. +

      +
      5. +
    +
    • +
  • +

    + If |bytes| is non-null: +

    +
      +
    1. +

      + Let |baseURL| be |registration|'s [=service worker registration/scope URL=]. +

      +
      2. +
    2. +

      + Let |origin| be |baseURL|'s [=url/origin=]. +

      +
      3. +
    3. +

      + Let |fallbackTimestamp| be [=current coarsened wall time=]. +

      +
      4. +
    4. +

      + Let |declarativeResult| be the result of running the [=/declarative push message + parser=] given |bytes|, |origin|, |baseURL|, and |fallbackTimestamp|. +

      +
      5. +
    5. +

      + If |declarativeResult| is not failure: +

        -
      1. Acknowledge the receipt of the push message according to [[RFC8030]]. - Though the message was not successfully received and processed, this prevents the - push service from attempting to retransmit the message; a badly encrypted message - is not recoverable. +
      2. +

        + Let |notification| be |declarativeResult|'s [=declarative push message parser + result/notification=]. +

        +
        3. +
      3. +

        + Set |notification|'s [=notification/service worker registration=] to + |registration|. +

        4. -
      4. Abort these steps. +
      5. +

        + Let |notificationShown| be false. +

        +
        6. +
      6. +

        + Let |appBadgeSet| be false. +

        +
        7. +
      7. +

        + If |declarativeResult|'s [=declarative push message parser result/mutable=] + is true: +

        +
          +
        1. +

          + Let |result| be the result of [=fire a push event|firing a push event=] + given |registration|, null, a new {{Notification}} object representing + |notification|, and |declarativeResult|'s [=declarative push message + parser result/app badge=]. +

          +
          2. +
        2. +

          + If |result| is not failure, then set |notificationShown| to |result|'s + [=push event result/notification shown=] and |appBadgeSet| to |result|'s + [=push event result/app badge set=]. +

          +
          3. +
        +
        8. +
      8. +

        + If |notificationShown| is false, then run the [=notification show steps=] + given |notification|. +

        +
        9. +
      9. +

        + If |appBadgeSet| is false, then w3c/badging #111... +

        +
        10. +
      10. +

        + [=acknowledge a push message|Acknowledge=] the push message and abort + these steps. +

      -

      - A `push` event will not be fired for a push message that was not - successfully decrypted using the key pair associated with the push - subscription. -

    • +
  • +

    + Let |data| be a new {{PushMessageData}} object whose [=PushMessageData/bytes=] is + |bytes| if |bytes| is non-null; otherwise null. +

    +
    • +
  • +

    + Let |result| be the result of [=fire a push event|firing a push event=] given + |registration|, |data|, null, and null. +

    +
    • +
  • +

    + If result is failure and the same push message has been delivered + to a service worker registration multiple times unsuccessfully, then + [=acknowledge a push message|acknowledge=] the push message. +

    +
    • +
  • +

    + If result is not failure, then [=acknowledge a push message|acknowledge=] + the push message. +

    +
    • + +

    + A push event result is a [=/tuple=] consisting of a notification shown (a [=/boolean=]) and an app badge set (a [=/boolean=]). +

    +

    + To fire a push event given a [=/service worker registration=] |registration|, + {{PushMessageData}} object or null |data|, a [=/notification=] or null |notification|, + and an integer or null |appBadge|, run these steps. They return failure or a [=/push + event result=]. +

    +
      +
    1. +

      + Let |notificationResult| be null. +

      +
      2. +
    2. +

      + Let |appBadgeResult| be null. +

      +

    3. Fire a functional event named "`push`" using PushEvent on @@ -1156,44 +1850,92 @@

      - `data` + {{PushEvent/data}}
      - A new {{PushMessageData}} object whose [=bytes=] is |bytes|. + |data| +
      +
      + {{PushEvent/notification}} +
      +
      + |notification| +
      +
      + {{PushEvent/appBadge}} +
      +
      + |appBadge|

      Then run the following steps in parallel, with |dispatchedEvent|:

        -
      1. Wait for all of the promises in the [=ExtendableEvent/extend lifetime promises=] - of |dispatchedEvent| to resolve. -
        2. -
      2. If all the promises resolve successfully, acknowledge the receipt of the push - message according to [[RFC8030]] and abort these steps. +
      3. +

        + Wait for all of the promises in the [=ExtendableEvent/extend lifetime promises=] + of |dispatchedEvent| to resolve. +

      4. - If the same push message has been delivered to a service worker - registration multiple times unsuccessfully, acknowledge the receipt of the - push message according to [[RFC8030]]. + If they do not resolve successfully, then set |notificationResult| and + |appBadgeResult| to failure and abort these steps.

        +
        5. +

      5. - Acknowledging the push message causes the push service to stop - delivering the message and to report success to the application server. - This prevents the same push message from being retried by the push - service indefinitely. + Set |notificationResult| to true if + {{ServiceWorkerRegistration/showNotification()}} has been invoked; otherwise + false.

        +
        6. +

      6. - Acknowledging also means that an application server could incorrectly - receive a delivery receipt indicating successful delivery of the push - message. Therefore, multiple rejections SHOULD be permitted before - acknowledging; allowing at least three attempts is recommended. + Set |appBadgeResult| to true if {{NavigatorBadge/setAppBadge()}} has been + invoked; otherwise false.

      4. +
    4. +

      + Wait for |notificationResult| and |appBadgeResult| to be non-null. +

      +
      5. +
    5. +

      + If |notificationResult| is failure, then return failure. +

      +
      6. +
    6. +

      + [=/Assert=]: |notificationResult| and |appBadgeResult| are [=/booleans=]. +

      +
      7. +
    7. +

      + Return (|notificationResult|, |appBadgeResult|). +

      +
    +

    + To acknowledge a push message given a push message + pushMessage means to acknowledge the receipt of pushMessage + according to [[RFC8030]]. +

    +

    + Acknowledging the push message causes the push service to stop delivering + the message and to report success to the application server. This prevents the + same push message from being retried by the push service indefinitely. +

    +

    + Acknowledging also means that an application server could incorrectly receive a + delivery receipt indicating successful delivery of the push message. Therefore, + multiple rejections SHOULD be permitted before acknowledging; allowing at least three + attempts is recommended. +

    @@ -1234,7 +1976,7 @@

    PushSubscriptionChangeEvent Interface

    - 
    +          
                 [Exposed=ServiceWorker, SecureContext]
             interface PushSubscriptionChangeEvent : ExtendableEvent {
               constructor(DOMString type, optional PushSubscriptionChangeEventInit eventInitDict = {});
@@ -1255,7 +1997,7 @@ 
    
           
    
             PushSubscriptionChangeEventInit Interface
           
    
-          
    +          
                   dictionary PushSubscriptionChangeEventInit : ExtendableEventInit {
                 PushSubscription newSubscription = null;
                 PushSubscription oldSubscription = null;

From a19d52ce7657f82dde844af4110dc49a9decf6f0 Mon Sep 17 00:00:00 2001
From: Anne van Kesteren 
Date: Wed, 30 Jul 2025 17:53:15 +0200
Subject: [PATCH 2/3] remove app badge for now

---
 index.html | 94 ++++++++++--------------------------------------------
 1 file changed, 16 insertions(+), 78 deletions(-)

diff --git a/index.html b/index.html
index 07d3523..0937b5f 100644
--- a/index.html
+++ b/index.html
@@ -392,26 +392,14 @@ 
    
                 
               
             
-            
    
-              app_badge
-            
    
-            
    
-              
    
-                A [=/64-bit unsigned integer=].
-              
    
-              
    
-                Platform conventions are likely to impose a lower limit with regards to what is
-                displayed to the end user. [[BADGING]]
-              
    
-            
    
             
    
               mutable
             
    
             
    
               
    
                 A boolean. When true causes a push event to be dispatched to a service
-                worker (if any) containing the {{Notification}} object and app badge number (if
-                any) described by the declarative push message.
+                worker (if any) containing the {{Notification}} object described by the
+                declarative push message.
               
    
             
    
           
@@ -423,8 +411,7 @@ 
    
           
    
             A declarative push message parser result is a [=/tuple=] consisting of a
             notification (a
-            [=/notification=]), an app
-            badge (null or an integer), and a mutable (a boolean).
           
    
           
    
@@ -686,18 +673,6 @@ 
    
                 notification's [=notification/actions=] is null, then return failure.
               
    
             
-            
  • 
-              
    
-                Let appBadge be null.
-              
    
-            
    • 
-            
  • 
-              
    
-                If message["`app_badge`"] [=map/exists=] and
-                message["`app_badge`"] is a [=/64-bit unsigned integer=], then set
-                appBadge to message["`app_badge`"].
-              
    
-            
    • 
             
  • 
               
    
                 Let mutable be false.
@@ -712,7 +687,7 @@ 
    
             
    • 
             
  • 
               
    
-                Return (notification, appBadge, mutable).
+                Return (notification, mutable).
               
    
             
    • 
           
@@ -1623,13 +1598,11 @@ 
    
               constructor(DOMString type, optional PushEventInit eventInitDict = {});
               readonly attribute PushMessageData? data;
               readonly attribute Notification? notification;
-              readonly attribute unsigned long long? appBadge;
             };
 
             dictionary PushEventInit : ExtendableEventInit {
               PushMessageDataInit? data = null;
               Notification? notification = null;
-              unsigned long long? appBadge = null;
             };
 
             typedef (BufferSource or USVString) PushMessageDataInit;
@@ -1656,9 +1629,6 @@ 
    
         
    
           The notification attribute must return the value it was initialized with.
         
    
-        
    
-          The appBadge attribute must return the value it was initialized with.
-

    @@ -1745,11 +1715,6 @@

    Let |notificationShown| be false.

    -
  • -

    - Let |appBadgeSet| be false. -

    -

  • If |declarativeResult|'s [=declarative push message parser result/mutable=] @@ -1759,16 +1724,14 @@

  • Let |result| be the result of [=fire a push event|firing a push event=] - given |registration|, null, a new {{Notification}} object representing - |notification|, and |declarativeResult|'s [=declarative push message - parser result/app badge=]. + given |registration|, null, and a new {{Notification}} object representing + |notification|.

  • If |result| is not failure, then set |notificationShown| to |result|'s - [=push event result/notification shown=] and |appBadgeSet| to |result|'s - [=push event result/app badge set=]. + [=push event result/notification shown=].

    • @@ -1779,12 +1742,6 @@

    given |notification|.

    • -
  • -

    - If |appBadgeSet| is false, then w3c/badging #111... -

    -

  • [=acknowledge a push message|Acknowledge=] the push message and abort @@ -1804,7 +1761,7 @@

  • Let |result| be the result of [=fire a push event|firing a push event=] given - |registration|, |data|, null, and null. + |registration|, |data|, and null.

  • @@ -1823,14 +1780,12 @@

    A push event result is a [=/tuple=] consisting of a notification shown (a [=/boolean=]) and an app badge set (a [=/boolean=]). + "push event result">notification shown (a [=/boolean=]).

    To fire a push event given a [=/service worker registration=] |registration|, - {{PushMessageData}} object or null |data|, a [=/notification=] or null |notification|, - and an integer or null |appBadge|, run these steps. They return failure or a [=/push - event result=]. + {{PushMessageData}} object or null |data|, and a [=/notification=] or null |notification|, + run these steps. They return failure or a [=/push event result=].

    1. @@ -1838,11 +1793,6 @@

      Let |notificationResult| be null.

      2. -
    2. -

      - Let |appBadgeResult| be null. -

      -

    3. Fire a functional event named "`push`" using PushEvent on @@ -1861,12 +1811,6 @@

      |notification|
      -
      - {{PushEvent/appBadge}} -
      -
      - |appBadge| -

      Then run the following steps in parallel, with |dispatchedEvent|: @@ -1880,8 +1824,8 @@

    4. - If they do not resolve successfully, then set |notificationResult| and - |appBadgeResult| to failure and abort these steps. + If they do not resolve successfully, then set |notificationResult| to failure and + abort these steps.

    5. @@ -1891,17 +1835,11 @@

      false.

      6. -
    6. -

      - Set |appBadgeResult| to true if {{NavigatorBadge/setAppBadge()}} has been - invoked; otherwise false. -

      -

  • - Wait for |notificationResult| and |appBadgeResult| to be non-null. + Wait for |notificationResult| to be non-null.

  • @@ -1911,12 +1849,12 @@

  • - [=/Assert=]: |notificationResult| and |appBadgeResult| are [=/booleans=]. + [=/Assert=]: |notificationResult| is a [=/boolean=].

  • - Return (|notificationResult|, |appBadgeResult|). + Return (|notificationResult|).

    • From c7cadea6cf7bd0322df8305ff49ca1d180bedd6b Mon Sep 17 00:00:00 2001 From: Anne van Kesteren Date: Mon, 4 Aug 2025 18:00:02 +0200 Subject: [PATCH 3/3] Update index.html --- index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.html b/index.html index 0937b5f..d319824 100644 --- a/index.html +++ b/index.html @@ -1779,7 +1779,7 @@

    • - A push event result is a [=/tuple=] consisting of a push event result is a [=/tuple=] consisting of a notification shown (a [=/boolean=]).