// ĠAutomatically Ġgenerated Ġ- Ġdo Ġnot Ġmodify ! Ċ Ċ package Ġreact . dom Ċ Ċ import Ġorg . w 3 c . dom . Element Ċ Ċ external Ġinterface ĠVideo HTML Attributes < T Ġ: ĠElement > Ġ: ĠMedia HTML Attributes < T > Ġ{ ĊĠĠĠ Ġvar Ġheight : ĠDouble ĊĠĠĠ Ġoverride Ġvar Ġplays Inline : ĠBoolean ĊĠĠĠ Ġvar Ġposter : ĠString ĊĠĠĠ Ġvar Ġwidth : ĠDouble ĊĠĠĠ Ġvar Ġdisable Picture In Picture : ĠBoolean ĊĠĠĠ Ġvar Ġdisable Remote Playback : ĠBoolean Ċ } Ċ