| 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 abb38ed34a8ec609efb99d463fe4e1b4832d8ddb..4a2368d16be02e9732a03494a9da656426c40719 100644
|
| --- a/client/dom/generated/src/interface/HTMLMediaElement.dart
|
| +++ b/client/dom/generated/src/interface/HTMLMediaElement.dart
|
| @@ -42,10 +42,6 @@ interface HTMLMediaElement extends HTMLElement {
|
|
|
| TimeRanges get buffered();
|
|
|
| - MediaController get controller();
|
| -
|
| - void set controller(MediaController value);
|
| -
|
| bool get controls();
|
|
|
| void set controls(bool value);
|
| @@ -76,10 +72,6 @@ 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);
|
| @@ -110,8 +102,6 @@ interface HTMLMediaElement extends HTMLElement {
|
|
|
| num get startTime();
|
|
|
| - TextTrackList get textTracks();
|
| -
|
| num get volume();
|
|
|
| void set volume(num value);
|
|
|