Index: sdk/lib/html/dart2js/html_dart2js.dart |
diff --git a/sdk/lib/html/dart2js/html_dart2js.dart b/sdk/lib/html/dart2js/html_dart2js.dart |
index 0e1cf354904705aecdcceb1840baf1ad15f49e3e..898af6c54847cf0d5158a5ca3610b99c679bea0c 100644 |
--- a/sdk/lib/html/dart2js/html_dart2js.dart |
+++ b/sdk/lib/html/dart2js/html_dart2js.dart |
@@ -9932,10 +9932,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)); |
} |
/** |
@@ -12612,10 +12610,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); |
} |
/** |
@@ -12894,10 +12890,12 @@ abstract class Element extends Node implements GlobalEventHandlers, ParentNode, |
* * [insertAdjacentText] |
* * [insertAdjacentElement] |
*/ |
- void insertAdjacentHtml(String where, String html, {NodeValidator validator, |
- NodeTreeSanitizer treeSanitizer}) { |
- _insertAdjacentNode(where, new DocumentFragment.html(html, |
- validator: validator, treeSanitizer: treeSanitizer)); |
+ void insertAdjacentHtml(String where, String html) { |
+ if (JS('bool', '!!#.insertAdjacentHTML', this)) { |
+ _insertAdjacentHtml(where, html); |
+ } else { |
+ _insertAdjacentNode(where, new DocumentFragment.html(html)); |
+ } |
} |
@JSName('insertAdjacentHTML') |