- From: Thiago Perrotta <notifications@github.com>
- Date: Thu, 16 Nov 2023 04:23:47 -0800
- To: w3c/permissions <permissions@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Thursday, 16 November 2023 12:23:52 UTC
@thiagowfx commented on this pull request.
> + PermissionsCommand = (
+ permissions.setPermission
+ )
+ </pre>
+ </section>
+ <section>
+ <h5 id="extension-module-permissions-types">
+ Types
+ </h5>
+ <section>
+ <h6 id="extension-module-type-permissions-PermissionDescriptor">
+ The permissions.PermissionDescriptor Type
+ </h6>
+ <pre class="cddl local-cddl">
+ permissions.PermissionDescriptor = {
+ type: "permissionDescriptor",
Is this needed? Can I remove it?
--
Reply to this email directly or view it on GitHub:
https://github.com/w3c/permissions/pull/425#pullrequestreview-1734248680
You are receiving this because you are subscribed to this thread.
Message ID: <w3c/permissions/pull/425/review/1734248680@github.com>
Received on Thursday, 16 November 2023 12:23:52 UTC