diff --git a/baselines/dom.generated.d.ts b/baselines/dom.generated.d.ts index 36efec21a..a9f596a9f 100644 --- a/baselines/dom.generated.d.ts +++ b/baselines/dom.generated.d.ts @@ -12971,7 +12971,7 @@ declare var DeviceOrientationEvent: { /** Available only in secure contexts. */ interface DigitalCredential extends Credential { readonly data: any; - readonly protocol: string; + readonly protocol: DigitalCredentialPresentationProtocol; toJSON(): any; } @@ -17580,12 +17580,6 @@ interface HTMLAnchorElement extends HTMLElement, HTMLHyperlinkElementUtils, Hype * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/download) */ download: string; - /** - * The **`hreflang`** property of the HTMLAnchorElement interface is a string that is the language of the linked resource. - * - * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/hreflang) - */ - hreflang: string; /** @deprecated */ name: string; /** @@ -17617,24 +17611,12 @@ interface HTMLAnchorElement extends HTMLElement, HTMLHyperlinkElementUtils, Hype rev: string; /** @deprecated */ shape: string; - /** - * The **`target`** property of the HTMLAnchorElement interface is a string that indicates where to display the linked resource. - * - * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/target) - */ - target: string; /** * The **`text`** property of the HTMLAnchorElement represents the text inside the element. This property represents the same information as Node.textContent. * * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/text) */ text: string; - /** - * The **`type`** property of the HTMLAnchorElement interface is a string that indicates the MIME type of the linked resource. - * - * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/type) - */ - type: string; addEventListener(type: K, listener: (this: HTMLAnchorElement, ev: HTMLElementEventMap[K]) => any, options?: boolean | AddEventListenerOptions): void; addEventListener(type: string, listener: EventListenerOrEventListenerObject, options?: boolean | AddEventListenerOptions): void; removeEventListener(type: K, listener: (this: HTMLAnchorElement, ev: HTMLElementEventMap[K]) => any, options?: boolean | EventListenerOptions): void; @@ -17703,12 +17685,6 @@ interface HTMLAreaElement extends HTMLElement, HTMLHyperlinkElementUtils, Hyperl * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAreaElement/shape) */ shape: string; - /** - * The **`target`** property of the HTMLAreaElement interface is a string that indicates where to display the linked resource. - * - * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAreaElement/target) - */ - target: string; addEventListener(type: K, listener: (this: HTMLAreaElement, ev: HTMLElementEventMap[K]) => any, options?: boolean | AddEventListenerOptions): void; addEventListener(type: string, listener: EventListenerOrEventListenerObject, options?: boolean | AddEventListenerOptions): void; removeEventListener(type: K, listener: (this: HTMLAreaElement, ev: HTMLElementEventMap[K]) => any, options?: boolean | EventListenerOptions): void; @@ -18911,6 +18887,12 @@ interface HTMLHyperlinkElementUtils { */ href: string; toString(): string; + /** + * The **`target`** property of the HTMLAnchorElement interface is a string that indicates where to display the linked resource. + * + * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/target) + */ + target: string; } /** @@ -22473,6 +22455,12 @@ interface HyperlinkElementUtils { * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/hostname) */ hostname: string; + /** + * The **`hreflang`** property of the HTMLAnchorElement interface is a string that is the language of the linked resource. + * + * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/hreflang) + */ + hreflang: string; /** * The **`origin`** read-only property of the HTMLAnchorElement interface returns a string containing the Unicode serialization of the origin of the element's href. * @@ -22509,6 +22497,12 @@ interface HyperlinkElementUtils { * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/search) */ search: string; + /** + * The **`type`** property of the HTMLAnchorElement interface is a string that indicates the MIME type of the linked resource. + * + * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/type) + */ + type: string; /** * The **`username`** property of the HTMLAnchorElement interface is a string containing the username component of the element's href. If the URL does not have a username, this property contains an empty string, "". * @@ -45164,6 +45158,7 @@ type CompressionFormat = "brotli" | "deflate" | "deflate-raw" | "gzip"; type CookieSameSite = "lax" | "none" | "strict"; type CredentialMediationRequirement = "conditional" | "optional" | "required" | "silent"; type DOMParserSupportedType = "application/xhtml+xml" | "application/xml" | "image/svg+xml" | "text/html" | "text/xml"; +type DigitalCredentialPresentationProtocol = "org-iso-mdoc"; type DirectionSetting = "" | "lr" | "rl"; type DisplayCaptureSurfaceType = "browser" | "monitor" | "window"; type DistanceModelType = "exponential" | "inverse" | "linear"; diff --git a/baselines/ts5.5/dom.generated.d.ts b/baselines/ts5.5/dom.generated.d.ts index cfc5d9125..30ad8bd55 100644 --- a/baselines/ts5.5/dom.generated.d.ts +++ b/baselines/ts5.5/dom.generated.d.ts @@ -12960,7 +12960,7 @@ declare var DeviceOrientationEvent: { /** Available only in secure contexts. */ interface DigitalCredential extends Credential { readonly data: any; - readonly protocol: string; + readonly protocol: DigitalCredentialPresentationProtocol; toJSON(): any; } @@ -17566,12 +17566,6 @@ interface HTMLAnchorElement extends HTMLElement, HTMLHyperlinkElementUtils, Hype * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/download) */ download: string; - /** - * The **`hreflang`** property of the HTMLAnchorElement interface is a string that is the language of the linked resource. - * - * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/hreflang) - */ - hreflang: string; /** @deprecated */ name: string; /** @@ -17602,24 +17596,12 @@ interface HTMLAnchorElement extends HTMLElement, HTMLHyperlinkElementUtils, Hype rev: string; /** @deprecated */ shape: string; - /** - * The **`target`** property of the HTMLAnchorElement interface is a string that indicates where to display the linked resource. - * - * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/target) - */ - target: string; /** * The **`text`** property of the HTMLAnchorElement represents the text inside the element. This property represents the same information as Node.textContent. * * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/text) */ text: string; - /** - * The **`type`** property of the HTMLAnchorElement interface is a string that indicates the MIME type of the linked resource. - * - * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/type) - */ - type: string; addEventListener(type: K, listener: (this: HTMLAnchorElement, ev: HTMLElementEventMap[K]) => any, options?: boolean | AddEventListenerOptions): void; addEventListener(type: string, listener: EventListenerOrEventListenerObject, options?: boolean | AddEventListenerOptions): void; removeEventListener(type: K, listener: (this: HTMLAnchorElement, ev: HTMLElementEventMap[K]) => any, options?: boolean | EventListenerOptions): void; @@ -17687,12 +17669,6 @@ interface HTMLAreaElement extends HTMLElement, HTMLHyperlinkElementUtils, Hyperl * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAreaElement/shape) */ shape: string; - /** - * The **`target`** property of the HTMLAreaElement interface is a string that indicates where to display the linked resource. - * - * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAreaElement/target) - */ - target: string; addEventListener(type: K, listener: (this: HTMLAreaElement, ev: HTMLElementEventMap[K]) => any, options?: boolean | AddEventListenerOptions): void; addEventListener(type: string, listener: EventListenerOrEventListenerObject, options?: boolean | AddEventListenerOptions): void; removeEventListener(type: K, listener: (this: HTMLAreaElement, ev: HTMLElementEventMap[K]) => any, options?: boolean | EventListenerOptions): void; @@ -18894,6 +18870,12 @@ interface HTMLHyperlinkElementUtils { */ href: string; toString(): string; + /** + * The **`target`** property of the HTMLAnchorElement interface is a string that indicates where to display the linked resource. + * + * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/target) + */ + target: string; } /** @@ -22449,6 +22431,12 @@ interface HyperlinkElementUtils { * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/hostname) */ hostname: string; + /** + * The **`hreflang`** property of the HTMLAnchorElement interface is a string that is the language of the linked resource. + * + * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/hreflang) + */ + hreflang: string; /** * The **`origin`** read-only property of the HTMLAnchorElement interface returns a string containing the Unicode serialization of the origin of the element's href. * @@ -22485,6 +22473,12 @@ interface HyperlinkElementUtils { * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/search) */ search: string; + /** + * The **`type`** property of the HTMLAnchorElement interface is a string that indicates the MIME type of the linked resource. + * + * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/type) + */ + type: string; /** * The **`username`** property of the HTMLAnchorElement interface is a string containing the username component of the element's href. If the URL does not have a username, this property contains an empty string, "". * @@ -45138,6 +45132,7 @@ type CompressionFormat = "brotli" | "deflate" | "deflate-raw" | "gzip"; type CookieSameSite = "lax" | "none" | "strict"; type CredentialMediationRequirement = "conditional" | "optional" | "required" | "silent"; type DOMParserSupportedType = "application/xhtml+xml" | "application/xml" | "image/svg+xml" | "text/html" | "text/xml"; +type DigitalCredentialPresentationProtocol = "org-iso-mdoc"; type DirectionSetting = "" | "lr" | "rl"; type DisplayCaptureSurfaceType = "browser" | "monitor" | "window"; type DistanceModelType = "exponential" | "inverse" | "linear"; diff --git a/baselines/ts5.6/dom.generated.d.ts b/baselines/ts5.6/dom.generated.d.ts index 066bae672..4f08212b7 100644 --- a/baselines/ts5.6/dom.generated.d.ts +++ b/baselines/ts5.6/dom.generated.d.ts @@ -12968,7 +12968,7 @@ declare var DeviceOrientationEvent: { /** Available only in secure contexts. */ interface DigitalCredential extends Credential { readonly data: any; - readonly protocol: string; + readonly protocol: DigitalCredentialPresentationProtocol; toJSON(): any; } @@ -17577,12 +17577,6 @@ interface HTMLAnchorElement extends HTMLElement, HTMLHyperlinkElementUtils, Hype * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/download) */ download: string; - /** - * The **`hreflang`** property of the HTMLAnchorElement interface is a string that is the language of the linked resource. - * - * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/hreflang) - */ - hreflang: string; /** @deprecated */ name: string; /** @@ -17614,24 +17608,12 @@ interface HTMLAnchorElement extends HTMLElement, HTMLHyperlinkElementUtils, Hype rev: string; /** @deprecated */ shape: string; - /** - * The **`target`** property of the HTMLAnchorElement interface is a string that indicates where to display the linked resource. - * - * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/target) - */ - target: string; /** * The **`text`** property of the HTMLAnchorElement represents the text inside the element. This property represents the same information as Node.textContent. * * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/text) */ text: string; - /** - * The **`type`** property of the HTMLAnchorElement interface is a string that indicates the MIME type of the linked resource. - * - * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/type) - */ - type: string; addEventListener(type: K, listener: (this: HTMLAnchorElement, ev: HTMLElementEventMap[K]) => any, options?: boolean | AddEventListenerOptions): void; addEventListener(type: string, listener: EventListenerOrEventListenerObject, options?: boolean | AddEventListenerOptions): void; removeEventListener(type: K, listener: (this: HTMLAnchorElement, ev: HTMLElementEventMap[K]) => any, options?: boolean | EventListenerOptions): void; @@ -17700,12 +17682,6 @@ interface HTMLAreaElement extends HTMLElement, HTMLHyperlinkElementUtils, Hyperl * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAreaElement/shape) */ shape: string; - /** - * The **`target`** property of the HTMLAreaElement interface is a string that indicates where to display the linked resource. - * - * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAreaElement/target) - */ - target: string; addEventListener(type: K, listener: (this: HTMLAreaElement, ev: HTMLElementEventMap[K]) => any, options?: boolean | AddEventListenerOptions): void; addEventListener(type: string, listener: EventListenerOrEventListenerObject, options?: boolean | AddEventListenerOptions): void; removeEventListener(type: K, listener: (this: HTMLAreaElement, ev: HTMLElementEventMap[K]) => any, options?: boolean | EventListenerOptions): void; @@ -18908,6 +18884,12 @@ interface HTMLHyperlinkElementUtils { */ href: string; toString(): string; + /** + * The **`target`** property of the HTMLAnchorElement interface is a string that indicates where to display the linked resource. + * + * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/target) + */ + target: string; } /** @@ -22470,6 +22452,12 @@ interface HyperlinkElementUtils { * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/hostname) */ hostname: string; + /** + * The **`hreflang`** property of the HTMLAnchorElement interface is a string that is the language of the linked resource. + * + * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/hreflang) + */ + hreflang: string; /** * The **`origin`** read-only property of the HTMLAnchorElement interface returns a string containing the Unicode serialization of the origin of the element's href. * @@ -22506,6 +22494,12 @@ interface HyperlinkElementUtils { * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/search) */ search: string; + /** + * The **`type`** property of the HTMLAnchorElement interface is a string that indicates the MIME type of the linked resource. + * + * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/type) + */ + type: string; /** * The **`username`** property of the HTMLAnchorElement interface is a string containing the username component of the element's href. If the URL does not have a username, this property contains an empty string, "". * @@ -45161,6 +45155,7 @@ type CompressionFormat = "brotli" | "deflate" | "deflate-raw" | "gzip"; type CookieSameSite = "lax" | "none" | "strict"; type CredentialMediationRequirement = "conditional" | "optional" | "required" | "silent"; type DOMParserSupportedType = "application/xhtml+xml" | "application/xml" | "image/svg+xml" | "text/html" | "text/xml"; +type DigitalCredentialPresentationProtocol = "org-iso-mdoc"; type DirectionSetting = "" | "lr" | "rl"; type DisplayCaptureSurfaceType = "browser" | "monitor" | "window"; type DistanceModelType = "exponential" | "inverse" | "linear"; diff --git a/baselines/ts5.9/dom.generated.d.ts b/baselines/ts5.9/dom.generated.d.ts index b0e9af16b..9bccf9a99 100644 --- a/baselines/ts5.9/dom.generated.d.ts +++ b/baselines/ts5.9/dom.generated.d.ts @@ -12968,7 +12968,7 @@ declare var DeviceOrientationEvent: { /** Available only in secure contexts. */ interface DigitalCredential extends Credential { readonly data: any; - readonly protocol: string; + readonly protocol: DigitalCredentialPresentationProtocol; toJSON(): any; } @@ -17577,12 +17577,6 @@ interface HTMLAnchorElement extends HTMLElement, HTMLHyperlinkElementUtils, Hype * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/download) */ download: string; - /** - * The **`hreflang`** property of the HTMLAnchorElement interface is a string that is the language of the linked resource. - * - * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/hreflang) - */ - hreflang: string; /** @deprecated */ name: string; /** @@ -17614,24 +17608,12 @@ interface HTMLAnchorElement extends HTMLElement, HTMLHyperlinkElementUtils, Hype rev: string; /** @deprecated */ shape: string; - /** - * The **`target`** property of the HTMLAnchorElement interface is a string that indicates where to display the linked resource. - * - * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/target) - */ - target: string; /** * The **`text`** property of the HTMLAnchorElement represents the text inside the element. This property represents the same information as Node.textContent. * * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/text) */ text: string; - /** - * The **`type`** property of the HTMLAnchorElement interface is a string that indicates the MIME type of the linked resource. - * - * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/type) - */ - type: string; addEventListener(type: K, listener: (this: HTMLAnchorElement, ev: HTMLElementEventMap[K]) => any, options?: boolean | AddEventListenerOptions): void; addEventListener(type: string, listener: EventListenerOrEventListenerObject, options?: boolean | AddEventListenerOptions): void; removeEventListener(type: K, listener: (this: HTMLAnchorElement, ev: HTMLElementEventMap[K]) => any, options?: boolean | EventListenerOptions): void; @@ -17700,12 +17682,6 @@ interface HTMLAreaElement extends HTMLElement, HTMLHyperlinkElementUtils, Hyperl * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAreaElement/shape) */ shape: string; - /** - * The **`target`** property of the HTMLAreaElement interface is a string that indicates where to display the linked resource. - * - * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAreaElement/target) - */ - target: string; addEventListener(type: K, listener: (this: HTMLAreaElement, ev: HTMLElementEventMap[K]) => any, options?: boolean | AddEventListenerOptions): void; addEventListener(type: string, listener: EventListenerOrEventListenerObject, options?: boolean | AddEventListenerOptions): void; removeEventListener(type: K, listener: (this: HTMLAreaElement, ev: HTMLElementEventMap[K]) => any, options?: boolean | EventListenerOptions): void; @@ -18908,6 +18884,12 @@ interface HTMLHyperlinkElementUtils { */ href: string; toString(): string; + /** + * The **`target`** property of the HTMLAnchorElement interface is a string that indicates where to display the linked resource. + * + * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/target) + */ + target: string; } /** @@ -22470,6 +22452,12 @@ interface HyperlinkElementUtils { * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/hostname) */ hostname: string; + /** + * The **`hreflang`** property of the HTMLAnchorElement interface is a string that is the language of the linked resource. + * + * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/hreflang) + */ + hreflang: string; /** * The **`origin`** read-only property of the HTMLAnchorElement interface returns a string containing the Unicode serialization of the origin of the element's href. * @@ -22506,6 +22494,12 @@ interface HyperlinkElementUtils { * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/search) */ search: string; + /** + * The **`type`** property of the HTMLAnchorElement interface is a string that indicates the MIME type of the linked resource. + * + * [MDN Reference](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/type) + */ + type: string; /** * The **`username`** property of the HTMLAnchorElement interface is a string containing the username component of the element's href. If the URL does not have a username, this property contains an empty string, "". * @@ -45161,6 +45155,7 @@ type CompressionFormat = "brotli" | "deflate" | "deflate-raw" | "gzip"; type CookieSameSite = "lax" | "none" | "strict"; type CredentialMediationRequirement = "conditional" | "optional" | "required" | "silent"; type DOMParserSupportedType = "application/xhtml+xml" | "application/xml" | "image/svg+xml" | "text/html" | "text/xml"; +type DigitalCredentialPresentationProtocol = "org-iso-mdoc"; type DirectionSetting = "" | "lr" | "rl"; type DisplayCaptureSurfaceType = "browser" | "monitor" | "window"; type DistanceModelType = "exponential" | "inverse" | "linear"; diff --git a/inputfiles/patches/digital-credentials.kdl b/inputfiles/patches/digital-credentials.kdl new file mode 100644 index 000000000..dfd3b2626 --- /dev/null +++ b/inputfiles/patches/digital-credentials.kdl @@ -0,0 +1,13 @@ +// https://w3c-fedid.github.io/digital-credentials/ + +interface DigitalCredential { + property protocol type=DigitalCredentialPresentationProtocol +} + +removals { + enum DigitalCredentialPresentationProtocol { + openid4vp-v1-multisigned + openid4vp-v1-signed + openid4vp-v1-unsigned + } +} diff --git a/package-lock.json b/package-lock.json index 47f9d3d83..15cfb693f 100644 --- a/package-lock.json +++ b/package-lock.json @@ -1105,9 +1105,9 @@ "license": "MIT" }, "node_modules/@webref/idl": { - "version": "3.78.0", - "resolved": "https://registry.npmjs.org/@webref/idl/-/idl-3.78.0.tgz", - "integrity": "sha512-KdnEAihpodnPmRyNU7Tlln+J7E4kkW7jIellX0y7ExGiDiikzGjvTUVoFjWxmtP/RM2fg4q/esrDkBO5vn01ng==", + "version": "3.79.0", + "resolved": "https://registry.npmjs.org/@webref/idl/-/idl-3.79.0.tgz", + "integrity": "sha512-4wZ6d0xY3JQZY1vHOCk8Z1jEPq9YVzds0VGAJtv6hJAwnxmePP20KQqETp7vXYvx/auqldLYTEHiAsAfosgMVQ==", "dev": true, "license": "MIT", "peerDependencies": {