Wrapperless dart:html generator

client/html/generated/html/frog/VideoElement.dart

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