- 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