Re: [w3c/push-api] Add app badge to Declarative Web Push (PR #402)

@annevk commented on this pull request.



> @@ -392,14 +392,26 @@ <h3>
                 </dd>
               </dl>
             </dd>
+            <dt>
+              <code>app_badge</code>
+            </dt>
+            <dd>
+              <p>
+                A [=/64-bit unsigned integer=].

That shape sounds good. What happens for platforms that don't support "flag" though?

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

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

Received on Wednesday, 10 September 2025 07:28:59 UTC