add missing children field back

mununki · mununki · commit 900b41b3f9b9 · 2022-10-06T08:00:04.000+09:00
diff --git a/jscomp/others/jsxDOM.res b/jscomp/others/jsxDOM.res
@@ -30,6 +30,7 @@ type domRef
 */
 type domProps = {
   key?: string,
+  children?: Jsx.element,
   ref?: domRef,
   /* accessibility */
   /* https://www.w3.org/TR/wai-aria-1.1/ */
