WebIDL files from Mozilla