Revert "Refresh dart:dom"

client/dom/generated/src/wrapping/_HTMLDocumentWrappingImplementation.dart

Index: client/dom/generated/src/wrapping/_HTMLDocumentWrappingImplementation.dart
diff --git a/client/dom/generated/src/wrapping/_HTMLDocumentWrappingImplementation.dart b/client/dom/generated/src/wrapping/_HTMLDocumentWrappingImplementation.dart
index 26242cb5c20930b09b15c668df2a32bf5c04f3a4..ab31ea2ace360f904d419bf0ec1c98f9ed3cf9a1 100644
--- a/client/dom/generated/src/wrapping/_HTMLDocumentWrappingImplementation.dart
+++ b/client/dom/generated/src/wrapping/_HTMLDocumentWrappingImplementation.dart
@@ -56,6 +56,9 @@ class _HTMLDocumentWrappingImplementation extends _DocumentWrappingImplementatio
   void set fgColor(String value) { _set_fgColor(this, value); }
   static void _set_fgColor(var _this, String value) native;
 
+  int get height() { return _get_height(this); }
+  static int _get_height(var _this) native;
+
   String get linkColor() { return _get_linkColor(this); }
   static String _get_linkColor(var _this) native;
 
@@ -74,6 +77,9 @@ class _HTMLDocumentWrappingImplementation extends _DocumentWrappingImplementatio
   void set vlinkColor(String value) { _set_vlinkColor(this, value); }
   static void _set_vlinkColor(var _this, String value) native;
 
+  int get width() { return _get_width(this); }
+  static int _get_width(var _this) native;
+
   void captureEvents() {
     _captureEvents(this);
     return;