Index: client/html/generated/html/interface/Element.dart |
diff --git a/client/html/generated/html/interface/Element.dart b/client/html/generated/html/interface/Element.dart |
index 8e395a06ebc06db6b2584a9749506c6ce3a241ca..b7d3dd6225f21739e8aa0f3ba09e5a12be9945d9 100644 |
--- a/client/html/generated/html/interface/Element.dart |
+++ b/client/html/generated/html/interface/Element.dart |
@@ -269,14 +269,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); |