From 375ec012c79a5c4c5f0a250efd158aaecb11883d Mon Sep 17 00:00:00 2001
From: Kenichi Ishibashi <ishibashi.kenichi@gmail.com>
Date: Wed, 3 Dec 2014 17:15:08 +0900
Subject: [PATCH] Make PushEventInit inherit from ExtendableEventInit

To resolve #78.
---
 index.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/index.html b/index.html
index 9362127..7ff42ef 100644
--- a/index.html
+++ b/index.html
@@ -177,8 +177,8 @@ <h2>
       </p>
       <p>
         <dfn>Service Worker</dfn>, <dfn>ServiceWorkerRegistration</dfn>,
-        <dfn>ServiceWorkerGlobalScope</dfn>, and <dfn>ExtendableEvent</dfn> are defined in
-        [[!SERVICE-WORKERS]].
+        <dfn>ServiceWorkerGlobalScope</dfn>, <dfn>ExtendableEvent</dfn>, and
+        <dfn>ExtendableEventInit</dfn> are defined in [[!SERVICE-WORKERS]].
       </p>
       <p>
         The algorithms <a href="http://www.w3.org/TR/encoding/#utf-8-encode"><dfn>utf-8
@@ -775,7 +775,7 @@ <h2>
             readonly attribute PushMessageData data
           </dt>
         </dl>
-        <dl title="dictionary PushEventInit : EventInit" class="idl">
+        <dl title="dictionary PushEventInit : ExtendableEventInit" class="idl">
           <dt>
             PushMessageDataInit data
           </dt>