Re: [w3c/push-api] Add Declarative Web Push (PR #385)

@annevk commented on this pull request.



> +          }
+        </pre>
+        <section>
+          <h3>
+            Members
+          </h3>
+          <p>
+            A [=declarative push message=] has the following members:
+          </p>
+          <dl>
+            <dt>
+              <code>web_push</code> (required)
+            </dt>
+            <dd>
+              <p>
+                An integer that must be 9001. Used to disambiguate a [=declarative push message=]

I'm happy to go with 8030. That will outdate itself as well in due course, but it's arguably a more relevant irrelevant number.

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

Message ID: <w3c/push-api/pull/385/review/2416082645@github.com>