@@ -280,12 +280,16 @@ export namespace JSX {
280280
281281 type BooleanAttribute = true | false | "" ;
282282
283+ type BooleanProperty = true | false ;
284+
283285 type EnumeratedPseudoBoolean = "false" | "true" ;
284286
285287 type EnumeratedAcceptsEmpty = "" | true ;
286288
287289 type RemoveAttribute = undefined | false ;
288290
291+ type RemoveProperty = undefined ;
292+
289293 // ARIA
290294
291295 // All the WAI-ARIA 1.1 attributes from https://www.w3.org/TR/wai-aria-1.1/
@@ -1523,6 +1527,7 @@ export namespace JSX {
15231527 autocomplete ?: FunctionMaybe < HTMLAutocomplete | RemoveAttribute > ;
15241528 capture ?: FunctionMaybe < "user" | "environment" | RemoveAttribute > ;
15251529 checked ?: FunctionMaybe < BooleanAttribute | RemoveAttribute > ;
1530+ "prop:checked" ?: FunctionMaybe < BooleanProperty | RemoveProperty > ;
15261531 colorspace ?: FunctionMaybe < string | RemoveAttribute > ;
15271532 dirname ?: FunctionMaybe < string | RemoveAttribute > ;
15281533 disabled ?: FunctionMaybe < BooleanAttribute | RemoveAttribute > ;
@@ -1578,6 +1583,7 @@ export namespace JSX {
15781583 | RemoveAttribute
15791584 > ;
15801585 value ?: FunctionMaybe < string | string [ ] | number | RemoveAttribute > ;
1586+ "prop:value" ?: FunctionMaybe < string | string [ ] | number | RemoveProperty > ;
15811587 width ?: FunctionMaybe < number | string | RemoveAttribute > ;
15821588
15831589 /** @non -standard */
@@ -1658,6 +1664,7 @@ export namespace JSX {
16581664 disableremoteplayback ?: FunctionMaybe < BooleanAttribute | RemoveAttribute > ;
16591665 loop ?: FunctionMaybe < BooleanAttribute | RemoveAttribute > ;
16601666 muted ?: FunctionMaybe < BooleanAttribute | RemoveAttribute > ;
1667+ "prop:muted" ?: FunctionMaybe < BooleanProperty | RemoveProperty > ;
16611668 preload ?: FunctionMaybe <
16621669 "none" | "metadata" | "auto" | EnumeratedAcceptsEmpty | RemoveAttribute
16631670 > ;
@@ -1764,7 +1771,9 @@ export namespace JSX {
17641771 disabled ?: FunctionMaybe < BooleanAttribute | RemoveAttribute > ;
17651772 label ?: FunctionMaybe < string | RemoveAttribute > ;
17661773 selected ?: FunctionMaybe < BooleanAttribute | RemoveAttribute > ;
1774+ "prop:selected" ?: FunctionMaybe < BooleanProperty | RemoveProperty > ;
17671775 value ?: FunctionMaybe < string | string [ ] | number | RemoveAttribute > ;
1776+ "prop:value" ?: FunctionMaybe < string | string [ ] | number | RemoveProperty > ;
17681777 }
17691778 interface OutputHTMLAttributes < T > extends HTMLAttributes < T > {
17701779 for ?: FunctionMaybe < string | RemoveAttribute > ;
@@ -1819,6 +1828,7 @@ export namespace JSX {
18191828 required ?: FunctionMaybe < BooleanAttribute | RemoveAttribute > ;
18201829 size ?: FunctionMaybe < number | string | RemoveAttribute > ;
18211830 value ?: FunctionMaybe < string | string [ ] | number | RemoveAttribute > ;
1831+ "prop:value" ?: FunctionMaybe < string | string [ ] | number | RemoveProperty > ;
18221832 }
18231833 interface HTMLSlotElementAttributes < T > extends HTMLAttributes < T > {
18241834 name ?: FunctionMaybe < string | RemoveAttribute > ;
@@ -1893,6 +1903,7 @@ export namespace JSX {
18931903 required ?: FunctionMaybe < BooleanAttribute | RemoveAttribute > ;
18941904 rows ?: FunctionMaybe < number | string | RemoveAttribute > ;
18951905 value ?: FunctionMaybe < string | string [ ] | number | RemoveAttribute > ;
1906+ "prop:value" ?: FunctionMaybe < string | string [ ] | number | RemoveProperty > ;
18961907 wrap ?: FunctionMaybe < "hard" | "soft" | "off" | RemoveAttribute > ;
18971908 }
18981909 interface ThHTMLAttributes < T > extends HTMLAttributes < T > {
0 commit comments