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

@thiagowfx commented on this pull request.



> +          </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 = {
+                  name: text,
+                }
+              </pre>
+              <p>
+                The <code>permissions.PermissionDescriptor</code> type represents a {{PermissionDescriptor}}.

In theory, `<code>` and backticks are synonyms. I chose `<code>` to mirror the style of the BiDi spec.

In this case, I'll replace all `<code>` occurrences with backticks. Should I also replace the occurrences that this PR did not touch? (fine by me)

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

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