5757 </ script >
5858 </ head >
5959 < body data-cite =
60- "service-workers FILEAPI secure-contexts hr-time permissions ECMASCRIPT NOTIFICATIONS BADGING ">
60+ "SERVICE-WORKERS FILEAPI SECURE-CONTEXTS HR-TIME PERMISSIONS ECMASCRIPT NOTIFICATIONS BADGING ">
6161 < section id ="abstract ">
6262 < p >
6363 The < cite > Push API</ cite > enables sending of a < a > push message</ a > to a web application via
@@ -1081,7 +1081,7 @@ <h2>
10811081 The Service Worker specification defines a {{ServiceWorkerRegistration}} interface
10821082 [[SERVICE-WORKERS]], which this specification extends.
10831083 </ p >
1084- < pre class ="idl " data-cite ="service-workers ">
1084+ < pre class ="idl " data-cite ="SERVICE-WORKERS ">
10851085 [SecureContext]
10861086 partial interface ServiceWorkerRegistration {
10871087 readonly attribute PushManager pushManager;
@@ -1549,11 +1549,11 @@ <h2>
15491549 {{ArrayBuffer}} whose contents are [=this=]'s [=bytes=]. Exceptions thrown during the
15501550 creation of the {{ArrayBuffer}} object are re-thrown.
15511551 </ p >
1552- < p data-cite ="encoding ">
1552+ < p data-cite ="ENCODING ">
15531553 The < dfn > json()</ dfn > method steps are to return the result of [=parse JSON bytes to a
15541554 JavaScript value|parsing JSON bytes to a JavaScript value=] given [=this=]'s [=bytes=].
15551555 </ p >
1556- < p data-cite ="encoding ">
1556+ < p data-cite ="ENCODING ">
15571557 The < dfn > text()</ dfn > method steps are to return the result of running < a > UTF-8 decode</ a >
15581558 on [=this=]'s [=bytes=].
15591559 </ p >
@@ -1564,7 +1564,7 @@ <h2>
15641564 < li > Let |bytes| be an empty byte sequence.
15651565 </ li >
15661566 < li > Switch on |object|'s type:
1567- < dl data-cite ="WebIDL ">
1567+ < dl data-cite ="WEBIDL ">
15681568 < dt >
15691569 {{BufferSource}}
15701570 </ dt >
@@ -1574,7 +1574,7 @@ <h2>
15741574 < dt >
15751575 {{USVString}}
15761576 </ dt >
1577- < dd data-cite ="encoding ">
1577+ < dd data-cite ="ENCODING ">
15781578 Set |bytes| to the result of running < a > utf-8 encode</ a > on |object|.
15791579 </ dd >
15801580 </ dl >
@@ -1617,7 +1617,7 @@ <h2>
16171617 < h2 >
16181618 < dfn > PushEvent</ dfn > Interface
16191619 </ h2 >
1620- < pre class ="idl " data-cite ="service-workers NOTIFICATIONS ">
1620+ < pre class ="idl " data-cite ="SERVICE-WORKERS NOTIFICATIONS ">
16211621 [Exposed=ServiceWorker, SecureContext]
16221622 interface PushEvent : ExtendableEvent {
16231623 constructor(DOMString type, optional PushEventInit eventInitDict = {});
@@ -1823,7 +1823,7 @@ <h2>
18231823 </ ol >
18241824 < p >
18251825 A < dfn > push event result</ dfn > is a [=/tuple=] consisting of a < dfn for =
1826- "push event result "> notification shown</ dfn > (a [=/boolean=]) and a < dfn for =
1826+ "push event result "> notification shown</ dfn > (a [=/boolean=]) and an < dfn for =
18271827 "push event result "> app badge set</ dfn > (a [=/boolean=]).
18281828 </ p >
18291829 < p >
@@ -1976,7 +1976,7 @@ <h2>
19761976 < h2 >
19771977 < dfn > PushSubscriptionChangeEvent</ dfn > Interface
19781978 </ h2 >
1979- < pre class ="idl " data-cite ="service-workers ">
1979+ < pre class ="idl " data-cite ="SERVICE-WORKERS ">
19801980 [Exposed=ServiceWorker, SecureContext]
19811981 interface PushSubscriptionChangeEvent : ExtendableEvent {
19821982 constructor(DOMString type, optional PushSubscriptionChangeEventInit eventInitDict = {});
@@ -1997,7 +1997,7 @@ <h2>
19971997 < h2 >
19981998 < dfn > PushSubscriptionChangeEventInit</ dfn > Interface
19991999 </ h2 >
2000- < pre class ="idl " data-cite ="service-workers ">
2000+ < pre class ="idl " data-cite ="SERVICE-WORKERS ">
20012001 dictionary PushSubscriptionChangeEventInit : ExtendableEventInit {
20022002 PushSubscription newSubscription = null;
20032003 PushSubscription oldSubscription = null;
0 commit comments