Update index.html

annevk · annevk · commit d6af68d9b7b3 · 2024-12-05T14:59:15.000+01:00
diff --git a/index.html b/index.html
@@ -57,7 +57,7 @@
     </script>
   </head>
   <body data-cite=
-  "service-workers FILEAPI secure-contexts hr-time permissions ECMASCRIPT NOTIFICATIONS">
+  "service-workers FILEAPI secure-contexts hr-time permissions ECMASCRIPT NOTIFICATIONS BADGING">
     <section id="abstract">
       <p>
         The <cite>Push API</cite> enables sending of a <a>push message</a> to a web application via
