| Index: client/dom/generated/src/interface/MediaController.dart
|
| diff --git a/client/dom/generated/src/interface/MediaController.dart b/client/dom/generated/src/interface/MediaController.dart
|
| index 6dfb96ceb315fe2ad4a083e2b4fb029953cf471e..46669019ca6d13f80f720924c94ce8c5a600adf4 100644
|
| --- a/client/dom/generated/src/interface/MediaController.dart
|
| +++ b/client/dom/generated/src/interface/MediaController.dart
|
| @@ -6,35 +6,25 @@
|
|
|
| interface MediaController {
|
|
|
| - TimeRanges get buffered();
|
| + final TimeRanges buffered;
|
|
|
| - num get currentTime();
|
| + num currentTime;
|
|
|
| - void set currentTime(num value);
|
| + num defaultPlaybackRate;
|
|
|
| - num get defaultPlaybackRate();
|
| + final num duration;
|
|
|
| - void set defaultPlaybackRate(num value);
|
| + bool muted;
|
|
|
| - num get duration();
|
| + final bool paused;
|
|
|
| - bool get muted();
|
| + num playbackRate;
|
|
|
| - void set muted(bool value);
|
| + final TimeRanges played;
|
|
|
| - bool get paused();
|
| + final TimeRanges seekable;
|
|
|
| - num get playbackRate();
|
| -
|
| - void set playbackRate(num value);
|
| -
|
| - TimeRanges get played();
|
| -
|
| - TimeRanges get seekable();
|
| -
|
| - num get volume();
|
| -
|
| - void set volume(num value);
|
| + num volume;
|
|
|
| void addEventListener(String type, EventListener listener, [bool useCapture]);
|
|
|
|
|