Get rid of webkit renames.

lib/html/dart2js/html_dart2js.dart

Index: lib/html/dart2js/html_dart2js.dart
diff --git a/lib/html/dart2js/html_dart2js.dart b/lib/html/dart2js/html_dart2js.dart
index daf6e9f2bd4d3297f67c603f436870f009198038..e96a99db284d0721645407339ae6cb26c38a0024 100644
--- a/lib/html/dart2js/html_dart2js.dart
+++ b/lib/html/dart2js/html_dart2js.dart
@@ -8512,7 +8512,7 @@ class _DOMErrorImpl implements DOMError native "*DOMError" {
 
 // WARNING: Do not edit - generated code.
 
-/// @domName DOMException
+/// @domName DOMCoreException
 abstract class DOMException {
 
   static const int ABORT_ERR = 20;
@@ -8565,20 +8565,20 @@ abstract class DOMException {
 
   static const int WRONG_DOCUMENT_ERR = 4;
 
-  /** @domName DOMException.code */
+  /** @domName DOMCoreException.code */
   abstract int get code;
 
-  /** @domName DOMException.message */
+  /** @domName DOMCoreException.message */
   abstract String get message;
 
-  /** @domName DOMException.name */
+  /** @domName DOMCoreException.name */
   abstract String get name;
 
-  /** @domName DOMException.toString */
+  /** @domName DOMCoreException.toString */
   String toString();
 }
 
-class _DOMExceptionImpl implements DOMException native "*DOMException" {
+class _DOMExceptionImpl implements DOMException native "*DOMCoreException" {
 
   final int code;