Fixing CharacterData.remove not working on FireFox.

sdk/lib/html/dartium/html_dartium.dart

Index: sdk/lib/html/dartium/html_dartium.dart
diff --git a/sdk/lib/html/dartium/html_dartium.dart b/sdk/lib/html/dartium/html_dartium.dart
index b5e82af86a71bcc2b997884742fd66c6ae5d288c..813c1677ddd92031a26bfb52344181031183a1b6 100644
--- a/sdk/lib/html/dartium/html_dartium.dart
+++ b/sdk/lib/html/dartium/html_dartium.dart
@@ -2027,10 +2027,6 @@ class CharacterData extends Node {
   @DocsEditable
   void insertData(int offset, String data) native "CharacterData_insertData_Callback";
 
-  @DomName('CharacterData.remove')
-  @DocsEditable
-  void remove() native "CharacterData_remove_Callback";

[Siggi Cherem (dart-lang), 2013/02/07 00:52:33]

seems that you could keep the override in dartium, unless the scripts are very
symmetrical about it what's in dart2js and dartium.

Alternatively, we could inspect if the method is there use it, otherwise use the
super method.

-
   @DomName('CharacterData.replaceData')
   @DocsEditable
   void replaceData(int offset, int length, String data) native "CharacterData_replaceData_Callback";