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 93033247a4a143bc26559f6504defac36e4d6354..50ce4bb19d0d165f121c07004bc4424184337494 100644 |
--- a/sdk/lib/html/dartium/html_dartium.dart |
+++ b/sdk/lib/html/dartium/html_dartium.dart |
@@ -9409,10 +9409,8 @@ class DocumentFragment extends Node implements ParentNode { |
* Parses the specified text as HTML and adds the resulting node after the |
* last child of this document fragment. |
*/ |
- void appendHtml(String text, {NodeValidator validator, |
- NodeTreeSanitizer, treeSanitizer}) { |
- this.append(new DocumentFragment.html(text, validator: validator, |
- treeSanitizer: treeSanitizer)); |
+ void appendHtml(String text) { |
+ this.append(new DocumentFragment.html(text)); |
} |
/** |
@@ -12254,10 +12252,8 @@ abstract class Element extends Node implements GlobalEventHandlers, ParentNode, |
* Parses the specified text as HTML and adds the resulting node after the |
* last child of this element. |
*/ |
- void appendHtml(String text, {NodeValidator validator, |
- NodeTreeSanitizer treeSanitizer}) { |
- this.insertAdjacentHtml('beforeend', text, validator: validator, |
- treeSanitizer: treeSanitizer); |
+ void appendHtml(String text) { |
+ this.insertAdjacentHtml('beforeend', text); |
} |
/** |