| <?xml version="1.0" encoding="UTF-8"?> |
| <!DOCTYPE Definitions SYSTEM "widlprocxml.dtd"> |
| <Definitions> |
| <webidl>[NamedConstructor=Audio, |
| NamedConstructor=Audio(DOMString src)] |
| interface HTMLAudioElement : <ref>HTMLMediaElement</ref> { |
| };</webidl> |
| <Interface name="HTMLAudioElement" id="::HTMLAudioElement"> |
| <webidl>[NamedConstructor=Audio, |
| NamedConstructor=Audio(DOMString src)] |
| interface HTMLAudioElement : <ref>HTMLMediaElement</ref> { |
| };</webidl> |
| <ExtendedAttributeList> |
| <ExtendedAttribute name="NamedConstructor" value="Audio"> |
| <webidl>NamedConstructor</webidl> |
| </ExtendedAttribute> |
| <ExtendedAttribute name="NamedConstructor" value="Audio"> |
| <webidl> NamedConstructor=Audio(DOMString src)</webidl> |
| <ArgumentList> |
| <Argument name="src"> |
| <Type type="DOMString"/> |
| </Argument> |
| </ArgumentList> |
| </ExtendedAttribute> |
| </ExtendedAttributeList> |
| <InterfaceInheritance> |
| <Name name="HTMLMediaElement"/> |
| </InterfaceInheritance> |
| </Interface> |
| </Definitions> |