Forgot generated code for frog dom.

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

Index: client/dom/generated/src/frog/HTMLVideoElement.dart
diff --git a/client/dom/generated/src/frog/HTMLVideoElement.dart b/client/dom/generated/src/frog/HTMLVideoElement.dart
new file mode 100644
index 0000000000000000000000000000000000000000..85b202b659c4ae21ade86ff5c043ff77e1d51957
--- /dev/null
+++ b/client/dom/generated/src/frog/HTMLVideoElement.dart
@@ -0,0 +1,29 @@
+
+class HTMLVideoElement extends HTMLMediaElement native "HTMLVideoElement" {
+
+  int height;
+
+  String poster;
+
+  int videoHeight;
+
+  int videoWidth;
+
+  int webkitDecodedFrameCount;
+
+  bool webkitDisplayingFullscreen;
+
+  int webkitDroppedFrameCount;
+
+  bool webkitSupportsFullscreen;
+
+  int width;
+
+  void webkitEnterFullScreen() native;
+
+  void webkitEnterFullscreen() native;
+
+  void webkitExitFullScreen() native;
+
+  void webkitExitFullscreen() native;
+}