Use original WebKit IDL database for dart:html generation.

lib/dom/scripts/generator.py

Index: lib/dom/scripts/generator.py
diff --git a/lib/dom/scripts/generator.py b/lib/dom/scripts/generator.py
index 4178f9cff0163622502ee0e613107c216a86ac01..8ef1ad14494adcaf092dd03508b3cf3336d61ee3 100644
--- a/lib/dom/scripts/generator.py
+++ b/lib/dom/scripts/generator.py
@@ -387,11 +387,11 @@ class OperationInfo(object):
     param_infos: A list of ParamInfo.
   """
 
-  def ParametersInterfaceDeclaration(self):
+  def ParametersInterfaceDeclaration(self, rename_type=lambda x: x):
     """Returns a formatted string declaring the parameters for the interface."""
     return self._FormatParams(
         self.param_infos, None,
-        lambda param: TypeOrNothing(param.dart_type, param.type_id))
+        lambda param: TypeOrNothing(rename_type(param.dart_type), param.type_id))
 
   def ParametersImplementationDeclaration(
       self, rename_type=None, default_value='null'):