link to mozilla integrated WebIDL for HTMLMediaLEment