Skip to content

Commit

Permalink
Update of ED report from new reffy run
Browse files Browse the repository at this point in the history
Using reffy commit 14.0.2.
  • Loading branch information
reffy-bot committed Aug 25, 2023
1 parent 54ff606 commit 2fcf888
Show file tree
Hide file tree
Showing 20 changed files with 3,741 additions and 902 deletions.
522 changes: 522 additions & 0 deletions ed/css/css-borders.json

Large diffs are not rendered by default.

924 changes: 924 additions & 0 deletions ed/dfns/css-borders-4.json

Large diffs are not rendered by default.

7 changes: 4 additions & 3 deletions ed/dfns/css-fonts-4.json
Original file line number Diff line number Diff line change
Expand Up @@ -3533,9 +3533,10 @@
"access": "public",
"informative": false,
"heading": {
"id": "title",
"href": "https://drafts.csswg.org/css-fonts-4/#title",
"title": "CSS Fonts Module Level 4"
"id": "font-feature-settings-prop",
"href": "https://drafts.csswg.org/css-fonts-4/#font-feature-settings-prop",
"title": "Low-level font feature settings control: the font-feature-settings property",
"number": "6.12"
},
"definedIn": "pre"
},
Expand Down
157 changes: 157 additions & 0 deletions ed/dfns/webauthn-3.json
Original file line number Diff line number Diff line change
Expand Up @@ -3467,6 +3467,25 @@
},
"definedIn": "pre"
},
{
"id": "dom-publickeycredentialcreationoptionsjson-hints",
"href": "https://w3c.github.io/webauthn/#dom-publickeycredentialcreationoptionsjson-hints",
"linkingText": [
"hints"
],
"localLinkingText": [],
"type": "dict-member",
"for": [
"PublicKeyCredentialCreationOptionsJSON"
],
"access": "public",
"informative": false,
"heading": {
"href": "https://w3c.github.io/webauthn/#dom-publickeycredentialcreationoptionsjson-hints",
"title": "Web Authentication:An API for accessing Public Key CredentialsLevel 3"
},
"definedIn": "pre"
},
{
"id": "dom-publickeycredentialcreationoptionsjson-attestation",
"href": "https://w3c.github.io/webauthn/#dom-publickeycredentialcreationoptionsjson-attestation",
Expand Down Expand Up @@ -3843,6 +3862,25 @@
},
"definedIn": "pre"
},
{
"id": "dom-publickeycredentialrequestoptionsjson-hints",
"href": "https://w3c.github.io/webauthn/#dom-publickeycredentialrequestoptionsjson-hints",
"linkingText": [
"hints"
],
"localLinkingText": [],
"type": "dict-member",
"for": [
"PublicKeyCredentialRequestOptionsJSON"
],
"access": "public",
"informative": false,
"heading": {
"href": "https://w3c.github.io/webauthn/#dom-publickeycredentialrequestoptionsjson-hints",
"title": "Web Authentication:An API for accessing Public Key CredentialsLevel 3"
},
"definedIn": "pre"
},
{
"id": "dom-publickeycredentialrequestoptionsjson-attestation",
"href": "https://w3c.github.io/webauthn/#dom-publickeycredentialrequestoptionsjson-attestation",
Expand Down Expand Up @@ -4385,6 +4423,25 @@
},
"definedIn": "dt"
},
{
"id": "dom-publickeycredentialcreationoptions-hints",
"href": "https://w3c.github.io/webauthn/#dom-publickeycredentialcreationoptions-hints",
"linkingText": [
"hints"
],
"localLinkingText": [],
"type": "dict-member",
"for": [
"PublicKeyCredentialCreationOptions"
],
"access": "public",
"informative": false,
"heading": {
"href": "https://w3c.github.io/webauthn/#dom-publickeycredentialcreationoptions-hints",
"title": "Web Authentication:An API for accessing Public Key CredentialsLevel 3"
},
"definedIn": "dt"
},
{
"id": "dom-publickeycredentialcreationoptions-attestation",
"href": "https://w3c.github.io/webauthn/#dom-publickeycredentialcreationoptions-attestation",
Expand Down Expand Up @@ -5056,6 +5113,25 @@
},
"definedIn": "dt"
},
{
"id": "dom-publickeycredentialrequestoptions-hints",
"href": "https://w3c.github.io/webauthn/#dom-publickeycredentialrequestoptions-hints",
"linkingText": [
"hints"
],
"localLinkingText": [],
"type": "dict-member",
"for": [
"PublicKeyCredentialRequestOptions"
],
"access": "public",
"informative": false,
"heading": {
"href": "https://w3c.github.io/webauthn/#dom-publickeycredentialrequestoptions-hints",
"title": "Web Authentication:An API for accessing Public Key CredentialsLevel 3"
},
"definedIn": "dt"
},
{
"id": "dom-publickeycredentialrequestoptions-attestation",
"href": "https://w3c.github.io/webauthn/#dom-publickeycredentialrequestoptions-attestation",
Expand Down Expand Up @@ -5832,6 +5908,87 @@
},
"definedIn": "dt"
},
{
"id": "enumdef-publickeycredentialhints",
"href": "https://w3c.github.io/webauthn/#enumdef-publickeycredentialhints",
"linkingText": [
"PublicKeyCredentialHints"
],
"localLinkingText": [],
"type": "enum",
"for": [],
"access": "public",
"informative": false,
"heading": {
"id": "enum-hints",
"href": "https://w3c.github.io/webauthn/#enum-hints",
"title": "User-agent Hints Enumeration (enum PublicKeyCredentialHints)",
"number": "5.8.7"
},
"definedIn": "heading"
},
{
"id": "dom-publickeycredentialhints-security-key",
"href": "https://w3c.github.io/webauthn/#dom-publickeycredentialhints-security-key",
"linkingText": [
"\"security-key\"",
"security-key"
],
"localLinkingText": [],
"type": "enum-value",
"for": [
"PublicKeyCredentialHints"
],
"access": "public",
"informative": false,
"heading": {
"id": "enum-hints",
"href": "https://w3c.github.io/webauthn/#enum-hints",
"title": "User-agent Hints Enumeration (enum PublicKeyCredentialHints)",
"number": "5.8.7"
},
"definedIn": "dt"
},
{
"id": "dom-publickeycredentialhints-client-device",
"href": "https://w3c.github.io/webauthn/#dom-publickeycredentialhints-client-device",
"linkingText": [
"\"client-device\"",
"client-device"
],
"localLinkingText": [],
"type": "enum-value",
"for": [
"PublicKeyCredentialHints"
],
"access": "public",
"informative": false,
"heading": {
"href": "https://w3c.github.io/webauthn/#dom-publickeycredentialhints-client-device",
"title": "Web Authentication:An API for accessing Public Key CredentialsLevel 3"
},
"definedIn": "dt"
},
{
"id": "dom-publickeycredentialhints-hybrid",
"href": "https://w3c.github.io/webauthn/#dom-publickeycredentialhints-hybrid",
"linkingText": [
"\"hybrid\"",
"hybrid"
],
"localLinkingText": [],
"type": "enum-value",
"for": [
"PublicKeyCredentialHints"
],
"access": "public",
"informative": false,
"heading": {
"href": "https://w3c.github.io/webauthn/#dom-publickeycredentialhints-hybrid",
"title": "Web Authentication:An API for accessing Public Key CredentialsLevel 3"
},
"definedIn": "dt"
},
{
"id": "publickey-credentials-create-feature",
"href": "https://w3c.github.io/webauthn/#publickey-credentials-create-feature",
Expand Down
Loading

0 comments on commit 2fcf888

Please sign in to comment.