Index: client/html/generated/html/frog/MediaController.dart |
diff --git a/client/html/generated/html/frog/MediaController.dart b/client/html/generated/html/frog/MediaController.dart |
new file mode 100644 |
index 0000000000000000000000000000000000000000..c34d81b8ae11adac85e4547b19cd23a231075bf0 |
--- /dev/null |
+++ b/client/html/generated/html/frog/MediaController.dart |
@@ -0,0 +1,33 @@ |
+ |
+class _MediaControllerImpl implements MediaController native "*MediaController" { |
+ |
+ final _TimeRangesImpl buffered; |
+ |
+ num currentTime; |
+ |
+ num defaultPlaybackRate; |
+ |
+ final num duration; |
+ |
+ bool muted; |
+ |
+ final bool paused; |
+ |
+ num playbackRate; |
+ |
+ final _TimeRangesImpl played; |
+ |
+ final _TimeRangesImpl seekable; |
+ |
+ num volume; |
+ |
+ void addEventListener(String type, EventListener listener, [bool useCapture = null]) native; |
+ |
+ bool dispatchEvent(_EventImpl evt) native; |
+ |
+ void pause() native; |
+ |
+ void play() native; |
+ |
+ void removeEventListener(String type, EventListener listener, [bool useCapture = null]) native; |
+} |