Re: [w3c/push-api] Integrate with Permission spec (#341)

@martinthomson approved this pull request.



> -          The term <dfn>express permission</dfn> refers to an act by the user, e.g. via user
-          interface or host device platform features, via which the user approves the use of the
-          Push API by the web application.
+          The Push API is a [=powerful feature=], requiring [=express permission=] to be used.
+        </p>
+        <p>
+          For integration with the [[[Permissions]]] specification, this specification defines the
+          {{PushPermissionDescriptor}} [=powerful feature/permission descriptor type=].
+        </p>
+        <pre class="idl">
+          dictionary PushPermissionDescriptor : PermissionDescriptor {
+            boolean userVisibleOnly = false;
+          };
+        </pre>
+        <p data-dfn-for="PushPermissionDescriptor">
+          The <dfn>userVisibleOnly</dfn> has the same semantics as

```suggestion
          <dfn>userVisibleOnly</dfn> has the same semantics as
```
I think that you need to drop the article after your tweak.

-- 
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/341#pullrequestreview-785213824