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

@thiagowfx commented on this pull request.



> +                  <pre class="cddl">
+                    EmptyResult
+                  </pre>
+                </dd>
+             </dl>
+             <ol algorithm="remote end steps for permissions.setPermission">
+               <p>
+                TODO: Add user <code>context</code> to <code>SetPermissionParameters</code>.
+               </p>
+               <p>
+                TODO: Add <code>origin</code>.
+               </p>
+               <p>
+                 The [=remote end steps=] with |session| and |command parameters| are:
+               </p>
+               <ol>

Changed outer tag to `<div>` to match the BiDi style. Fixed.

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

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

Received on Tuesday, 21 November 2023 11:07:43 UTC