Update index.html

annevk · annevk · commit 5491a0e72843 · 2024-11-06T14:42:30.000+01:00
diff --git a/index.html b/index.html
@@ -56,7 +56,7 @@
       };
     </script>
   </head>
-  <body data-cite="service-workers FILEAPI secure-contexts hr-time permissions ECMASCRIPT">
+  <body data-cite="service-workers FILEAPI secure-contexts hr-time permissions ECMASCRIPT NOTIFICATIONS">
     <section id="abstract">
       <p>
         The <cite>Push API</cite> enables sending of a <a>push message</a> to a web application via
@@ -1403,7 +1403,7 @@ <h2>
         <h2>
           <dfn>PushEvent</dfn> Interface
         </h2>
-        <pre class="idl" data-cite="service-workers">
+        <pre class="idl" data-cite="service-workers NOTIFICATIONS">
             [Exposed=ServiceWorker, SecureContext]
             interface PushEvent : ExtendableEvent {
               constructor(DOMString type, optional PushEventInit eventInitDict = {});
