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

@annevk commented on this pull request.



> +          </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=]
+                from other JSON documents.
+              </p>
+            </dd>
+            <dt>
+              <code>notification</code> (required)

I had a discussion with @domenic in https://github.com/whatwg/infra/pull/642 which will necessitate even more "duplication". At which point I think it's okay that it's slightly differently organized when that makes more sense for the JSON format. I will try to add some explanatory text so it's less confusing.

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

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