New version of dart:html

client/html/src/DocumentWrappingImplementation.dart

Index: client/html/src/DocumentWrappingImplementation.dart
diff --git a/client/html/src/DocumentWrappingImplementation.dart b/client/html/src/DocumentWrappingImplementation.dart
index 0fd9623a0b91aa3c3a8ac19f1ae39dcbb4c78baa..737b3519044ccc6e704875376f300655c7afad40 100644
--- a/client/html/src/DocumentWrappingImplementation.dart
+++ b/client/html/src/DocumentWrappingImplementation.dart
@@ -16,16 +16,16 @@ class DocumentEventsImplementation extends ElementEventsImplementation
 
 class DocumentWrappingImplementation extends ElementWrappingImplementation implements Document {
 
-  final _documentPtr;
+  final dom.Document _documentPtr;
 
   DocumentWrappingImplementation._wrap(this._documentPtr, ptr) : super._wrap(ptr) {
     // We have to set the back ptr on the document as well as the documentElement
     // so that it is always simple to detect when an existing wrapper exists.
-    _documentPtr.dartObjectLocalStorage = this;
+    _documentPtr.dynamic.dartObjectLocalStorage = this;
   }
 
   /** @domName HTMLDocument.activeElement */
-  Element get activeElement() => LevelDom.wrapElement(_documentPtr.activeElement);
+  Element get activeElement() => LevelDom.wrapElement(_documentPtr.dynamic.activeElement);
 
   Node get parent() => null;
 
@@ -51,7 +51,7 @@ class DocumentWrappingImplementation extends ElementWrappingImplementation imple
   Window get window() => LevelDom.wrapWindow(_documentPtr.defaultView);
 
   /** @domName HTMLDocument.designMode */
-  void set designMode(String value) { _documentPtr.designMode = value; }
+  void set designMode(String value) { _documentPtr.dynamic.designMode = value; }
 
   /** @domName Document.domain */
   String get domain() => _documentPtr.domain;
@@ -90,13 +90,8 @@ class DocumentWrappingImplementation extends ElementWrappingImplementation imple
         new Completer<Range>());
   }
 
-  /** @domName Document.createElement */
-  Element createElement([String tagName = null]) {
-    return LevelDom.wrapElement(_documentPtr.createElement(tagName));
-  }
-
   /** @domName Document.createEvent */
-  Event createEvent([String eventType = null]) {
+  Event createEvent(String eventType) {
     return LevelDom.wrapEvent(_documentPtr.createEvent(eventType));
   }