- 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