| Index: tools/dom/templates/html/impl/impl_DocumentFragment.darttemplate
|
| diff --git a/tools/dom/templates/html/impl/impl_DocumentFragment.darttemplate b/tools/dom/templates/html/impl/impl_DocumentFragment.darttemplate
|
| index e401956c9ee63bb75c1c60e97deb9acae9dec152..d533e49c52d76cf0c80e5e263e033d1802dd44ce 100644
|
| --- a/tools/dom/templates/html/impl/impl_DocumentFragment.darttemplate
|
| +++ b/tools/dom/templates/html/impl/impl_DocumentFragment.darttemplate
|
| @@ -93,8 +93,10 @@ $endif
|
| * 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));
|
| }
|
|
|
| /**
|
|
|