- From: Marcos Cáceres via GitHub <sysbot+gh@w3.org>
- Date: Tue, 14 Nov 2023 03:27:28 +0000
- To: public-html-media@w3.org
marcoscaceres has just created a new issue for https://github.com/w3c/media-source: == HTMLMediaElement Extensions missing WebIDL? == 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: <img width="371" alt="Screenshot 2023-11-14 at 14 26 39" src="https://github.com/w3c/media-source/assets/870154/7d777ca6-ef32-4457-9220-317949b93f46"> (The above would be static attributes in JS... I don't think that was the intention) Please view or discuss this issue at https://github.com/w3c/media-source/issues/338 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 14 November 2023 03:27:30 UTC