Forgot generated code for frog dom.

client/dom/generated/src/frog/HTMLMediaElement.dart

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
new file mode 100644
index 0000000000000000000000000000000000000000..dee4c6e93b6004eb22a13afef1b44fdd28bb88e2
--- /dev/null
+++ b/client/dom/generated/src/frog/HTMLMediaElement.dart
@@ -0,0 +1,69 @@
+
+class HTMLMediaElement extends HTMLElement native "HTMLMediaElement" {
+
+  bool autoplay;
+
+  TimeRanges buffered;
+
+  bool controls;
+
+  String currentSrc;
+
+  num currentTime;
+
+  bool defaultMuted;
+
+  num defaultPlaybackRate;
+
+  num duration;
+
+  bool ended;
+
+  MediaError error;
+
+  num initialTime;
+
+  bool loop;
+
+  bool muted;
+
+  int networkState;
+
+  bool paused;
+
+  num playbackRate;
+
+  TimeRanges played;
+
+  String preload;
+
+  int readyState;
+
+  TimeRanges seekable;
+
+  bool seeking;
+
+  String src;
+
+  num startTime;
+
+  num volume;
+
+  int webkitAudioDecodedByteCount;
+
+  bool webkitClosedCaptionsVisible;
+
+  bool webkitHasClosedCaptions;
+
+  bool webkitPreservesPitch;
+
+  int webkitVideoDecodedByteCount;
+
+  String canPlayType(String type) native;
+
+  void load() native;
+
+  void pause() native;
+
+  void play() native;
+}