w3c / media-source

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

[media-source] Align with Web IDL specification #237

Closed autokagami closed 3 years ago

autokagami commented 4 years ago

This is an automated pull request to align the spec with the latest Web IDL specification.

Currently the autofix might introduce some awkward code formatting, so please feel free to modify the formatting.

Please file an issue on https://github.com/saschanaz/webidl-updater/issues/new if you think this PR is invalid or should be enhanced.

tidoust commented 4 years ago

Marked as non substantive for IPR from ash-nazg.

tidoust commented 3 years ago

Merging, update required per the Web IDL specification.