| Index: client/dom/generated/src/interface/HTMLMediaElement.dart
|
| diff --git a/client/dom/generated/src/interface/HTMLMediaElement.dart b/client/dom/generated/src/interface/HTMLMediaElement.dart
|
| index 4a2368d16be02e9732a03494a9da656426c40719..abb38ed34a8ec609efb99d463fe4e1b4832d8ddb 100644
|
| --- a/client/dom/generated/src/interface/HTMLMediaElement.dart
|
| +++ b/client/dom/generated/src/interface/HTMLMediaElement.dart
|
| @@ -42,6 +42,10 @@ interface HTMLMediaElement extends HTMLElement {
|
|
|
| TimeRanges get buffered();
|
|
|
| + MediaController get controller();
|
| +
|
| + void set controller(MediaController value);
|
| +
|
| bool get controls();
|
|
|
| void set controls(bool value);
|
| @@ -72,6 +76,10 @@ interface HTMLMediaElement extends HTMLElement {
|
|
|
| void set loop(bool value);
|
|
|
| + String get mediaGroup();
|
| +
|
| + void set mediaGroup(String value);
|
| +
|
| bool get muted();
|
|
|
| void set muted(bool value);
|
| @@ -102,6 +110,8 @@ interface HTMLMediaElement extends HTMLElement {
|
|
|
| num get startTime();
|
|
|
| + TextTrackList get textTracks();
|
| +
|
| num get volume();
|
|
|
| void set volume(num value);
|
|
|