| 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 2096f94d785ae7016c021d36afe0a89337b4dc90..82fb770f663fb19cb7cdf3bcdf367f9b955e3b8c 100644
|
| --- a/sdk/lib/html/dart2js/html_dart2js.dart
|
| +++ b/sdk/lib/html/dart2js/html_dart2js.dart
|
| @@ -15289,6 +15289,15 @@ class Node extends EventTarget native "Node" {
|
| void $dom_addEventListener(String type, EventListener listener, [bool useCapture]) native;
|
|
|
| @JSName('appendChild')
|
| + /**
|
| + * Adds a node to the end of the child [nodes] list of this node.
|
| + *
|
| + * If the node already exists in this document, it will be removed from its
|
| + * current parent node, then added to this node.
|
| + *
|
| + * This method is more efficient than `nodes.add`, and is the preferred
|
| + * way of appending a child node.
|
| + */
|
| @DomName('Node.appendChild')
|
| @DocsEditable
|
| Node append(Node newChild) native;
|
|
|