Increíble!!!
Cambié la palabra audio por video y me sirvió para hacer lo mismo pero en videos HTML5!!!
"play",
function(e) {
var audios = document.getElementsByTagName("video");
for (var i = 0, len = audios.length; i < len; i++) {
if (audios[i] != e.target) {
audios[i].pause();
}
}
},
true
);