Re: [w3c/permissions] Introduce Browser Permissions for WebDriver BiDi (PR #425)

@miketaylr commented on this pull request.



>          <p>
-          The <dfn class="export" data-dfn-for="extension commands">Set Permission</dfn>
-          <a>extension command</a> simulates user modification of a {{PermissionDescriptor}}'s
-          <a>permission state</a>.
+          This document defines the following [=extension modules=] for the [[WebDriver-BiDi]] specification.

Ah, great. Thanks! 🐞 🐛 

-- 
Reply to this email directly or view it on GitHub:
https://github.com/w3c/permissions/pull/425#discussion_r1388257238
You are receiving this because you are subscribed to this thread.

Message ID: <w3c/permissions/pull/425/review/1722993259@github.com>

Received on Thursday, 9 November 2023 16:29:59 UTC