| 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]);
|
| }
|
|
|