[w3c/permissions] Use `<code>` for references to a CDDL type (PR #455)

The spec wrapped the CDDL result type of the Set Permission command in a `&lt;pre class=&quot;cddl&quot;&gt;` block, even though the return type is actually a reference to a CDDL type defined in WebDriver BiDi.

This update wraps the block into `&lt;code&gt;` instead, following similar conventions used for IDL.

Context for the request is that CDDL definitions defined in specs are now extracted and exposed in Webref to ease validation and integration in tools: https://github.com/w3c/webref/tree/main/ed/cddl

closes #???

The following tasks have been completed:

 * [ ] Modified Web platform tests (link)

Implementation commitment:

 * [ ] WebKit (link to issue)
 * [ ] Blink (link to issue)
 * [ ] Gecko (link to issue)


&lt;!--
    This comment and the below content is programmatically generated.
    You may add a comma-separated list of anchors you&#39;d like a
    direct link to below (e.g. #idl-serializers, #idl-sequence):

    Don&#39;t remove this comment or modify anything below this line.
    If you don&#39;t want a preview generated for this pull request,
    just replace the whole of this comment&#39;s content by &quot;no preview&quot;
    and remove what&#39;s below.
--&gt;
***
&lt;a href=&quot;https://pr-preview.s3.amazonaws.com/tidoust/permissions/pull/455.html&quot; title=&quot;Last updated on Dec 19, 2024, 8:44 PM UTC (06747df)&quot;&gt;Preview&lt;/a&gt; | &lt;a href=&quot;https://pr-preview.s3.amazonaws.com/w3c/permissions/455/4d38a40...tidoust:06747df.html&quot; title=&quot;Last updated on Dec 19, 2024, 8:44 PM UTC (06747df)&quot;&gt;Diff&lt;/a&gt;
You can view, comment on, or merge this pull request online at:

  https://github.com/w3c/permissions/pull/455

-- Commit Summary --

  * Use `&lt;code&gt;` for references to a CDDL type

-- File Changes --

    M index.html (4)

-- Patch Links --

https://github.com/w3c/permissions/pull/455.patch
https://github.com/w3c/permissions/pull/455.diff

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

Message ID: &lt;w3c/permissions/pull/455@github.com&gt;

Received on Thursday, 19 December 2024 20:44:46 UTC