[webauthn] Pull Request: Fix Bikeshed lint

emlun has just submitted a new pull request for https://github.com/w3c/webauthn:

== Fix Bikeshed lint ==
- Remove autolink to nonexistent term "WebAuthn credentials" 
- Delete unused term "client-side discoverable credential property"

Fixes these Bikeshed lints:

```
LINE ~8667: No 'dfn' refs found for 'webauthn credentials'.
[=WebAuthn credentials=]
```

```
LINT: Unexported dfn that's not referenced locally - did you mean to export it?
<dfn data-dfn-type="dfn" data-dfn-for="CredentialPropertiesOutput" id="credentialpropertiesoutput-client-side-discoverable-credential-property" data-lt="client-side discoverable credential property" data-noexport="by-default">client-side discoverable credential property<a href="#credentialpropertiesoutput-client-side-discoverable-credential-property" class="self-link"></a></dfn>
<dfn data-dfn-type="dfn" data-dfn-for="CredentialPropertiesOutput" id="credentialpropertiesoutput-client-side-discoverable-credential-property" data-lt="client-side discoverable credential property" data-noexport="by-default">client-side discoverable credential property<a href="#credentialpropertiesoutput-client-side-discoverable-credential-property" class="self-link"></a></dfn>
```


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


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

Received on Wednesday, 10 January 2024 13:35:51 UTC