src/third_party/web_platform_tests/WebIDL/valid/idl/namedconstructor.widl

// Extracted from http://dev.w3.org/2006/webapi/WebIDL/ on 2011-05-06
[NamedConstructor=Audio,
 NamedConstructor=Audio(DOMString src)]
interface HTMLAudioElement : HTMLMediaElement {
  // ...
};