- From: Alex Rudenko <notifications@github.com>
- Date: Thu, 16 Nov 2023 05:19:34 -0800
- To: w3c/permissions <permissions@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Thursday, 16 November 2023 13:19:40 UTC
@OrKoN 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",
Ack, what did you want to remove? the type? I think it can be removed.
--
Reply to this email directly or view it on GitHub:
https://github.com/w3c/permissions/pull/425#discussion_r1395682591
You are receiving this because you are subscribed to this thread.
Message ID: <w3c/permissions/pull/425/review/1734357397@github.com>
Received on Thursday, 16 November 2023 13:19:40 UTC