HTMLMediaElement Extensions missing WebIDL?

[marcoscaceres]

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:

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

[marcoscaceres]

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.