search

w3c / media-source

Media Source Extensions
https://w3c.github.io/media-source/
Other
268 stars 58 forks source link

Update to constructor operations #235

Closed Ms2ger closed 4 years ago

Ms2ger commented 5 years ago

See https://github.com/heycam/webidl/issues/778.

mwatson2 commented 4 years ago

Hasn't this already been done ?

Ms2ger commented 4 years ago

Yeah, in #251.