Add a name property for DetailsHTMLAttributes (#9918)

Co-authored-by: Emanuele Stoppa <[email protected]> Co-authored-by: Florian Lefebvre <[email protected]>
withastro · Feb 1, 2024 · d52529e · d52529e
1 parent 54dbaeb
commit d52529e
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/.changeset/old-jokes-complain.md b/.changeset/old-jokes-complain.md
@@ -0,0 +1,5 @@
+---
+"astro": patch
+---
+
+Adds the `name` attribute to the `<details>` tag type
diff --git a/packages/astro/astro-jsx.d.ts b/packages/astro/astro-jsx.d.ts
@@ -670,6 +670,7 @@ declare namespace astroHTML.JSX {
 
 	interface DetailsHTMLAttributes extends HTMLAttributes {
 		open?: boolean | string | undefined | null;
+		name?: string | undefined | null;
 	}
 
 	interface DelHTMLAttributes extends HTMLAttributes {