- From: Jean-Yves Avenard via GitHub <sysbot+gh@w3.org>
- Date: Wed, 06 Mar 2024 22:17:24 +0000
- To: public-html-media@w3.org
jyavenard has just created a new issue for https://github.com/w3c/media-source:
== BufferedChangeEventInit shouldn't be optional ==
The constructor of the BufferedChangeEventInit is defined as optional
(https://www.w3.org/TR/media-source/#dom-bufferedchangeevent)
```
interface BufferedChangeEvent : Event {
constructor(DOMString type, optional BufferedChangeEventInit eventInitDict = {});
```
https://www.w3.org/TR/media-source/#dom-bufferedchangeeventinit
Given that a BufferedChangeEvents are always browser generated, making the BufferedChangeEventInit mandatory is preferred.
Please view or discuss this issue at https://github.com/w3c/media-source/issues/349 using your GitHub account
--
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 6 March 2024 22:17:25 UTC