| Index: client/html/generated/html/interface/MediaController.dart
|
| diff --git a/client/html/generated/html/interface/MediaController.dart b/client/html/generated/html/interface/MediaController.dart
|
| index 092ae234e794218a3f6e11cae0cf278c4f06f956..9cd4c9dc1c21a2c72f2b560a2bfedb19b284909c 100644
|
| --- a/client/html/generated/html/interface/MediaController.dart
|
| +++ b/client/html/generated/html/interface/MediaController.dart
|
| @@ -4,7 +4,9 @@
|
|
|
| // WARNING: Do not edit - generated code.
|
|
|
| -interface MediaController {
|
| +interface MediaController default _MediaControllerFactoryProvider {
|
| +
|
| + MediaController();
|
|
|
| final TimeRanges buffered;
|
|
|
|
|