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 7e8622fdc3d4db2553766b6e910037e3b65003b3..5e476b351046b5802b620b6778d9379f16141a4b 100644 |
--- a/sdk/lib/html/dart2js/html_dart2js.dart |
+++ b/sdk/lib/html/dart2js/html_dart2js.dart |
@@ -9941,8 +9941,10 @@ 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) { |
- this.append(new DocumentFragment.html(text)); |
+ void appendHtml(String text, {NodeValidator validator, |
+ NodeTreeSanitizer, treeSanitizer}) { |
+ this.append(new DocumentFragment.html(text, validator: validator, |
+ treeSanitizer: treeSanitizer)); |
} |
/** |
@@ -12619,8 +12621,10 @@ 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) { |
- this.insertAdjacentHtml('beforeend', text); |
+ void appendHtml(String text, {NodeValidator validator, |
+ NodeTreeSanitizer treeSanitizer}) { |
+ this.insertAdjacentHtml('beforeend', text, validator: validator, |
+ treeSanitizer: treeSanitizer); |
} |
/** |
@@ -12888,12 +12892,10 @@ abstract class Element extends Node implements GlobalEventHandlers, ParentNode, |
* * [insertAdjacentText] |
* * [insertAdjacentElement] |
*/ |
- void insertAdjacentHtml(String where, String html) { |
- if (JS('bool', '!!#.insertAdjacentHTML', this)) { |
- _insertAdjacentHtml(where, html); |
- } else { |
- _insertAdjacentNode(where, new DocumentFragment.html(html)); |
- } |
+ void insertAdjacentHtml(String where, String html, {NodeValidator validator, |
+ NodeTreeSanitizer treeSanitizer}) { |
+ _insertAdjacentNode(where, new DocumentFragment.html(html, |
+ validator: validator, treeSanitizer: treeSanitizer)); |
} |
@JSName('insertAdjacentHTML') |