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

@thiagowfx 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.

There was a bug in webref: https://github.com/w3c/webref/issues/1071

Which is now fixed, so now the `dfn` is exported.

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

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