Move frog dart:dom from fields to getters/setters.

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
index d5da5b1c425cd637f878aa274e40a48c7d69a5d1..f0624448d3e1e26c272cc255d9f8860fddf2a490 100644
--- a/client/dom/generated/src/frog/HTMLVideoElement.dart
+++ b/client/dom/generated/src/frog/HTMLVideoElement.dart
@@ -1,23 +1,29 @@
 
 class HTMLVideoElement extends HTMLMediaElement native "*HTMLVideoElement" {
 
-  int height;
+  int get height() native "return this.height;";
 
-  String poster;
+  void set height(int value) native "this.height = value;";
 
-  int videoHeight;
+  String get poster() native "return this.poster;";
 
-  int videoWidth;
+  void set poster(String value) native "this.poster = value;";
 
-  int webkitDecodedFrameCount;
+  int get videoHeight() native "return this.videoHeight;";
 
-  bool webkitDisplayingFullscreen;
+  int get videoWidth() native "return this.videoWidth;";
 
-  int webkitDroppedFrameCount;
+  int get webkitDecodedFrameCount() native "return this.webkitDecodedFrameCount;";
 
-  bool webkitSupportsFullscreen;
+  bool get webkitDisplayingFullscreen() native "return this.webkitDisplayingFullscreen;";
 
-  int width;
+  int get webkitDroppedFrameCount() native "return this.webkitDroppedFrameCount;";
+
+  bool get webkitSupportsFullscreen() native "return this.webkitSupportsFullscreen;";
+
+  int get width() native "return this.width;";
+
+  void set width(int value) native "this.width = value;";
 
   void webkitEnterFullScreen() native;