| Index: client/dom/generated/src/interface/HTMLAudioElement.dart
|
| diff --git a/client/dom/generated/src/interface/HTMLAudioElement.dart b/client/dom/generated/src/interface/HTMLAudioElement.dart
|
| index 92dac13a67cf717037a6237eb34786541fd2dc16..758317ff6d0adb37a54a296baf9c7cc32ed32b21 100644
|
| --- a/client/dom/generated/src/interface/HTMLAudioElement.dart
|
| +++ b/client/dom/generated/src/interface/HTMLAudioElement.dart
|
| @@ -4,5 +4,7 @@
|
|
|
| // WARNING: Do not edit - generated code.
|
|
|
| -interface HTMLAudioElement extends HTMLMediaElement {
|
| +interface HTMLAudioElement extends HTMLMediaElement default _HTMLAudioElementFactoryProvider {
|
| +
|
| + HTMLAudioElement([String src]);
|
| }
|
|
|