popovertarget attribute missing in ButtonHTMLAttributes and triggers ts error

[salvaft]

Astro Info

Astro                    v4.2.1
Node                     v20.11.0
System                   Linux (x64)
Package Manager          pnpm
Output                   static
Adapter                  none
Integrations             @astrojs/tailwind

If this issue only occurs in one browser, which browser is a problem?

No response

Describe the Bug

popovertarget attribute does not exist in ButtonHTMLAttributes and shows a ts error making all builds fail.

src/pages/index.astro:8:10 - error ts(2322): Type '{ children: any; popovertarget: string; }' is not assignable to type 'ButtonHTMLAttributes'.
  Property 'popovertarget' does not exist on type 'ButtonHTMLAttributes'.

    popovertarget="nav-menu"
       ~~~~~~~~~~~~~

https://developer.mozilla.org/en-US/docs/Web/HTML/Element/button#popovertarget

What's the expected result?

popovertarget attribute should be part of the ButtonHTMLAttributes

Can be fixed by extending JSX attributes using a custom-attributes.d.ts file

declare namespace astroHTML.JSX {
  interface ButtonHTMLAttributes {
    popovertarget?: string;
  }
}

Link to Minimal Reproducible Example

https://stackblitz.com/edit/github-knhwyx?file=package.json

Participation

• I am willing to submit a pull request for this issue.