fix: add name to HTMLDetailsAttributes (#11013)

* add name attribute to HTMLDetailsAttributes

* changeset

Author: fcrozatier

.changeset/late-peaches-mate.md

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

packages/svelte/elements.d.ts

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