Convert DOM and HTML frog to dart2js.

lib/dom/scripts/generator.py

Index: lib/dom/scripts/generator.py
===================================================================
--- lib/dom/scripts/generator.py	(revision 9862)
+++ lib/dom/scripts/generator.py	(working copy)
@@ -56,9 +56,9 @@
 }
 
 #
-# Custom native specs for the Frog dom.
+# Custom native specs for the dart2js dom.
 #
-_frog_dom_custom_native_specs = {
+_dart2js_dom_custom_native_specs = {
     # Decorate the singleton Console object, if present (workers do not have a
     # console).
     'Console': "=(typeof console == 'undefined' ? {} : console)",
@@ -68,13 +68,13 @@
 }
 
 #
-# Custom native bodies for frog implementations of dom operations that
+# Custom native bodies for dart2js implementations of dom operations that
 # appear in dart:dom_deprecated and dart:html.  This is used to
 # work-around the lack of a 'rename' feature in the 'native' string -
 # the correct name is available on the DartName extended
 # attribute. See Issue 1814
 #
-dom_frog_native_bodies = {
+dom_dart2js_native_bodies = {
     # Some JavaScript processors, especially tools like yuicompress and
     # JSCompiler, choke on 'this.continue'
     'IDBCursor.continueFunction':
@@ -152,8 +152,8 @@
   return None
 
 def MakeNativeSpec(javascript_binding_name):
-  if javascript_binding_name in _frog_dom_custom_native_specs:
-    return _frog_dom_custom_native_specs[javascript_binding_name]
+  if javascript_binding_name in _dart2js_dom_custom_native_specs:
+    return _dart2js_dom_custom_native_specs[javascript_binding_name]
   else:
     # Make the class 'hidden' so it is dynamically patched at runtime.  This
     # is useful not only for browser compat, but to allow code that links