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 8f2d3abe587dbdc8da8a5c609f67510604ff9b78..62bf3eeb517b617d84905b6ba35dd0217b821e44 100644 |
--- a/sdk/lib/html/dartium/html_dartium.dart |
+++ b/sdk/lib/html/dartium/html_dartium.dart |
@@ -9412,10 +9412,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)); |
} |
/** |
@@ -12257,10 +12255,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); |
} |
/** |