Re: [w3c/push-api] Switching to contiguous webidl (#229)

beverloo commented on this pull request.



> -        </dt>
-        <dt>
-          Promise&lt;PushSubscription?&gt; getSubscription ()
-        </dt>
-        <dt>
-          Promise&lt;PushPermissionState&gt; permissionState (optional PushSubscriptionOptionsInit
-          options)
-        </dt>
-      </dl>
+      <pre class="idl">
+interface PushManager {
+    Promise&lt;PushSubscription&gt; subscribe(optional PushSubscriptionOptionsInit options);
+    Promise&lt;PushSubscription?&gt; getSubscription();
+    Promise&lt;PushPermissionState&gt; permissionState(optional PushSubscriptionOptionsInit options);
+};
+</pre>
       <p>
         The <code><dfn id=
         "widl-PushManager-subscribe-Promise-PushSubscription--PushSubscriptionOptionsInit-options">subscribe</dfn></code>

OK, let's do it.

Thanks for your help, Marcos! I'll make sure that I read up on the ReSpec WebIDL guide.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/pull/229