Index: client/html/generated/html/interface/OptionElement.dart |
diff --git a/client/html/generated/html/interface/OptionElement.dart b/client/html/generated/html/interface/OptionElement.dart |
index f5439c6e6678d6ed9769a013b32079621abd62a5..7e7a5e29a391a64183b792c0e5c9a0a63a26a144 100644 |
--- a/client/html/generated/html/interface/OptionElement.dart |
+++ b/client/html/generated/html/interface/OptionElement.dart |
@@ -4,7 +4,9 @@ |
// WARNING: Do not edit - generated code. |
-interface OptionElement extends Element { |
+interface OptionElement extends Element default _OptionElementFactoryProvider { |
+ |
+ OptionElement([String data, String value, bool defaultSelected, bool selected]); |
bool defaultSelected; |