- From: Alex Rudenko <notifications@github.com>
- Date: Fri, 17 Nov 2023 06:36:31 -0800
- To: w3c/permissions <permissions@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Friday, 17 November 2023 14:36:36 UTC
@OrKoN commented on this pull request.
> + </pre>
+ <p>
+ The <code>permissions.PermissionState</code> type represents a {{PermissionState}}.
+ </p>
+ </section>
+ </section>
+ <section>
+ <h5 id="extension-module-permissions-commands">
+ Commands
+ </h5>
+ <section>
+ <h6 id="extension-module-command-permissions-setPermission">
+ The permissions.setPermission Command
+ </h6>
+ <p>
+ The <dfn class="export" data-dfn-for="extension modules">Set Permission</dfn>
I think we should remove the link to the extension module definition. You can link to https://w3c.github.io/webdriver-bidi/#module instead
--
Reply to this email directly or view it on GitHub:
https://github.com/w3c/permissions/pull/425#pullrequestreview-1737149978
You are receiving this because you are subscribed to this thread.
Message ID: <w3c/permissions/pull/425/review/1737149978@github.com>
Received on Friday, 17 November 2023 14:36:36 UTC