Wrapperless dart:html generator

client/html/generated/html/frog/HtmlElement.dart

Index: client/html/generated/html/frog/HtmlElement.dart
diff --git a/client/dom/templates/interface.darttemplate b/client/html/generated/html/frog/HtmlElement.dart
similarity index 60%
copy from client/dom/templates/interface.darttemplate
copy to client/html/generated/html/frog/HtmlElement.dart
index 4e092a52e6f8755ebae6d8b72e5ccd9873a6dca2..eec5e44f76e0871b27d5b786a7aebbf8919019d9 100644
--- a/client/dom/templates/interface.darttemplate
+++ b/client/html/generated/html/frog/HtmlElement.dart
@@ -2,7 +2,11 @@
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
-// WARNING: Do not edit - generated code.
+class _HtmlElementJs extends _ElementJs implements HtmlElement
+    native "*IntentionallyInvalid" {
 
-interface $ID$!EXTENDS {
-$!MEMBERS}
+  String manifest;
+
+  String version;
+
+}