[webauthn] Merged Pull Request: Drop definition "User Credential" unused since PR #2109

selfissued has just merged emlun's pull request 2181 for https://github.com/w3c/webauthn:

== Drop definition "User Credential" unused since PR #2109 ==
This `<dfn>` has been unused since PR #2109.

Fixes this Bikeshed lint:

```
LINE 1090: Unexported dfn that's not referenced locally - did you mean to export it?
<dfn bs-line-number="1090" data-dfn-type="dfn" id="user-credential" data-lt="User Credential" data-noexport="by-default" class="dfn-paneled">User Credential</dfn>
```


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

    Don't remove this comment or modify anything below this line.
    If you don't want a preview generated for this pull request,
    just replace the whole of this comment's content by "no preview"
    and remove what's below.
-->
***
<a href="https://pr-preview.s3.amazonaws.com/w3c/webauthn/pull/2181.html" title="Last updated on Oct 7, 2024, 1:54 PM UTC (5887b9f)">Preview</a> | <a href="https://pr-preview.s3.amazonaws.com/w3c/webauthn/2181/386ad79...5887b9f.html" title="Last updated on Oct 7, 2024, 1:54 PM UTC (5887b9f)">Diff</a>

See https://github.com/w3c/webauthn/pull/2181


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Wednesday, 9 October 2024 18:31:54 UTC