Skip to content

Commit

Permalink
Change PushSubscriptionChangeInit to PushSubscriptionChangeEventInit. (
Browse files Browse the repository at this point in the history
…#312)

This naming scheme is more consistent with other specs.
  • Loading branch information
rayankans authored and beverloo committed Jul 16, 2019
1 parent 63d82a7 commit c213841
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions index.html
Original file line number Diff line number Diff line change
Expand Up @@ -1220,7 +1220,7 @@ <h2>
<dfn>PushSubscriptionChangeEvent</dfn> Interface
</h2>
<pre class="idl" data-cite="service-workers">
[Constructor(DOMString type, optional PushSubscriptionChangeInit eventInitDict = {}), Exposed=ServiceWorker, SecureContext]
[Constructor(DOMString type, optional PushSubscriptionChangeEventInit eventInitDict = {}), Exposed=ServiceWorker, SecureContext]
interface PushSubscriptionChangeEvent : ExtendableEvent {
readonly attribute PushSubscription? newSubscription;
readonly attribute PushSubscription? oldSubscription;
Expand All @@ -1235,12 +1235,12 @@ <h2>
initialized to.
</p>
</section>
<section data-dfn-for="PushSubscriptionChangeInit">
<section data-dfn-for="PushSubscriptionChangeEventInit">
<h2>
<dfn>PushSubscriptionChangeInit</dfn> Interface
<dfn>PushSubscriptionChangeEventInit</dfn> Interface
</h2>
<pre class="idl" data-cite="service-workers">
dictionary PushSubscriptionChangeInit : ExtendableEventInit {
dictionary PushSubscriptionChangeEventInit : ExtendableEventInit {
PushSubscription newSubscription = null;
PushSubscription oldSubscription = null;
};
Expand Down

0 comments on commit c213841

Please sign in to comment.