add popover attributes (#7317)

* add popover attributes to jsxdom props

* use popover type

Co-authored-by: Florian Verdonck <florian.verdonck@outlook.com>

* add popoverTargetAction docs

Co-authored-by: Florian Verdonck <florian.verdonck@outlook.com>

* add popover docs

Co-authored-by: Florian Verdonck <florian.verdonck@outlook.com>

* Update test

* Add changelog entry

---------

Co-authored-by: Florian Verdonck <florian.verdonck@outlook.com>

Author: dkirchhof

CHANGELOG.md

@@ -12,6 +12,10 @@
 
 # 12.0.0-alpha.10 (Unreleased)
 
+#### :rocket: New Feature
+
+- Add popover attributes to JsxDOM.domProps. https://github.com/rescript-lang/rescript/pull/7317
+
 #### :house: Internal
 
 - Clean up legacy tags handling. https://github.com/rescript-lang/rescript/pull/7309

runtime/JsxDOM.res

@@ -24,6 +24,14 @@
 
 type style = JsxDOMStyle.t
 type domRef
+/**
+  [Read more on MDN](https://developer.mozilla.org/en-US/docs/Web/HTML/Global_attributes/popover)
+*/
+type popover = | @as("auto") Auto | @as("manual") Manual | @as("hint") Hint
+/**
+  [Read more on MDN](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/button#popovertargetaction)
+*/
+type popoverTargetAction = | @as("toggle") Toggle | @as("show") Show | @as("hide") Hide
 
 /*
   This list isn't exhaustive. We'll add more as we go.
@@ -146,6 +154,9 @@ type domProps = {
   hidden?: bool,
   id?: string,
   lang?: string,
+  popover?: popover,
+  popoverTarget?: string,
+  popoverTargetAction?: popoverTargetAction,
   role?: string /* ARIA role */,
   style?: style,
   spellCheck?: bool,