fix: add `name` to HTMLDetailsAttributes (#11013)

* add name attribute to HTMLDetailsAttributes

* changeset
pull/11020/head
Frédéric Crozatier 9 months ago committed by GitHub
parent 0fa9d16e53
commit 1c75b9ac4d
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

@ -0,0 +1,5 @@
---
"svelte": patch
---
Add `name` to HTMLDetailsAttributes

@ -906,6 +906,7 @@ export interface HTMLDataAttributes extends HTMLAttributes<HTMLDataElement> {
export interface HTMLDetailsAttributes extends HTMLAttributes<HTMLDetailsElement> { export interface HTMLDetailsAttributes extends HTMLAttributes<HTMLDetailsElement> {
open?: boolean | undefined | null; open?: boolean | undefined | null;
name?: string | undefined | null;
'bind:open'?: boolean | undefined | null; 'bind:open'?: boolean | undefined | null;

Loading…
Cancel
Save