Index: client/html/frog/html_frog.dart |
diff --git a/client/html/frog/html_frog.dart b/client/html/frog/html_frog.dart |
index dfc34f577c53df1bab29d87bfde8a26f0d1ec94f..decc8ed33e94668eac1e051105254d776ba22031 100644 |
--- a/client/html/frog/html_frog.dart |
+++ b/client/html/frog/html_frog.dart |
@@ -20324,14 +20324,12 @@ interface Element extends Node, NodeSelector default _ElementFactoryProvider { |
*/ |
ElementList get elements(); |
- // TODO: The type of value should be Collection<Element>. See http://b/5392897 |
- void set elements(value); |
+ void set elements(Collection<Element> value); |
/** @domName className, classList */ |
Set<String> get classes(); |
- // TODO: The type of value should be Collection<String>. See http://b/5392897 |
- void set classes(value); |
+ void set classes(Collection<String> value); |
Map<String, String> get dataAttributes(); |
void set dataAttributes(Map<String, String> value); |
@@ -23117,8 +23115,7 @@ typedef bool NavigatorUserMediaSuccessCallback(LocalMediaStream stream); |
interface Node extends EventTarget { |
NodeList get nodes(); |
- // TODO: The type of value should be Collection<Node>. See http://b/5392897 |
- void set nodes(value); |
+ void set nodes(Collection<Node> value); |
Node replaceWith(Node otherNode); |