#import <HTML/HTMLMediaElement.idl>

interface HTMLAudioElement : HTMLMediaElement {



};