package def.dom;
public class HTMLSourceElement extends HTMLElement {
    /**
      * Gets or sets the intended media type of the media source.
     */
    public java.lang.String media;
    public java.lang.String msKeySystem;
    /**
      * The address or URL of the a media resource that is to be considered.
      */
    public java.lang.String src;
    /**
     * Gets or sets the MIME type of a media resource.
     */
    public java.lang.String type;
    public static HTMLSourceElement prototype;
    public HTMLSourceElement(){}
}

