| Index: client/dom/generated/src/frog/HTMLMediaElement.dart
|
| diff --git a/client/dom/generated/src/frog/HTMLMediaElement.dart b/client/dom/generated/src/frog/HTMLMediaElement.dart
|
| index 1be6353a0a8c35d64ee1da20fc773598ab167a52..1b51797675c988ce7bf7e9d7f324a53d2bc5c7f7 100644
|
| --- a/client/dom/generated/src/frog/HTMLMediaElement.dart
|
| +++ b/client/dom/generated/src/frog/HTMLMediaElement.dart
|
| @@ -35,8 +35,6 @@ class HTMLMediaElement extends HTMLElement native "HTMLMediaElement" {
|
|
|
| TimeRanges buffered;
|
|
|
| - MediaController controller;
|
| -
|
| bool controls;
|
|
|
| String currentSrc;
|
| @@ -57,8 +55,6 @@ class HTMLMediaElement extends HTMLElement native "HTMLMediaElement" {
|
|
|
| bool loop;
|
|
|
| - String mediaGroup;
|
| -
|
| bool muted;
|
|
|
| int networkState;
|
| @@ -81,8 +77,6 @@ class HTMLMediaElement extends HTMLElement native "HTMLMediaElement" {
|
|
|
| num startTime;
|
|
|
| - TextTrackList textTracks;
|
| -
|
| num volume;
|
|
|
| int webkitAudioDecodedByteCount;
|
|
|