diff --git a/jscomp/others/jsxDOM.res b/jscomp/others/jsxDOM.res index 595bf12965..3b6f826cf2 100644 --- a/jscomp/others/jsxDOM.res +++ b/jscomp/others/jsxDOM.res @@ -136,6 +136,7 @@ type domProps = { defaultValue?: string, /* global html attributes */ accessKey?: string, + capture?: [#user | #environment] className?: string /* substitute for "class" */, contentEditable?: bool, contextMenu?: string,