Index: client/html/generated/html/interface/AudioElement.dart |
diff --git a/client/html/generated/html/interface/AudioElement.dart b/client/html/generated/html/interface/AudioElement.dart |
index 42a2a861a2bd9563c017d6b0ab2cf33bcb0d6d3e..f30997d48b77f88d835f5b91d54eee3457d01bec 100644 |
--- a/client/html/generated/html/interface/AudioElement.dart |
+++ b/client/html/generated/html/interface/AudioElement.dart |
@@ -4,5 +4,7 @@ |
// WARNING: Do not edit - generated code. |
-interface AudioElement extends MediaElement { |
+interface AudioElement extends MediaElement default _AudioElementFactoryProvider { |
+ |
+ AudioElement([String src]); |
} |