search

w3c / media-source

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

HTMLMediaElement Extensions missing WebIDL? #338

Open marcoscaceres opened 1 year ago

marcoscaceres commented 1 year ago

The "HTMLMediaElement Extensions" section seems to define new attributes, but doesn't seem to actually have the WebIDL defining those new attributes. It's also ambiguous about them not being static attributes:

Screenshot 2023-11-14 at 14 26 39

(The above would be static attributes in JS... I don't think that was the intention)

marcoscaceres commented 1 year ago

Ah, no... this is monkey patching behavior... I see now.

Still, the headings need to change at least.

This should all move to HTML regardless. Monkey patching is not a good idea.