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