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 |
new file mode 100644 |
index 0000000000000000000000000000000000000000..092ae234e794218a3f6e11cae0cf278c4f06f956 |
--- /dev/null |
+++ b/client/html/generated/html/interface/MediaController.dart |
@@ -0,0 +1,38 @@ |
+// Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
+// for details. All rights reserved. Use of this source code is governed by a |
+// BSD-style license that can be found in the LICENSE file. |
+ |
+// WARNING: Do not edit - generated code. |
+ |
+interface MediaController { |
+ |
+ final TimeRanges buffered; |
+ |
+ num currentTime; |
+ |
+ num defaultPlaybackRate; |
+ |
+ final num duration; |
+ |
+ bool muted; |
+ |
+ final bool paused; |
+ |
+ num playbackRate; |
+ |
+ final TimeRanges played; |
+ |
+ final TimeRanges seekable; |
+ |
+ num volume; |
+ |
+ void addEventListener(String type, EventListener listener, [bool useCapture]); |
+ |
+ bool dispatchEvent(Event evt); |
+ |
+ void pause(); |
+ |
+ void play(); |
+ |
+ void removeEventListener(String type, EventListener listener, [bool useCapture]); |
+} |