Para o Firefox, instale o plug-in do VLC e, em seguida, execute este código:
var videos = document.getElementsByTagName("video");
for (var i = 0; i < videos.length; i++) {
var vlc = document.createElement("embed");
vlc.type = "application/x-vlc-plugin";
if (videos[i].width) vlc.width = videos[i].width;
if (videos[i].height) vlc.height = videos[i].height;
vlc.setAttribute("target", videos[i].src);
var sources = videos[i].getElementsByTagName("source");
for (var j = 0; j < sources.length; j++) {
vlc.setAttribute("target", sources[j].src);
}
vlc.setAttribute("id", videos[i].getAttribute("id"));
vlc.setAttribute("class", videos[i].getAttribute("class"));
videos[i].parentNode.replaceChild(vlc, videos[i]);
}
Você pode executar código com o console do FireBug ou torná-lo um marcador de script.
Por favor, note que isso só funcionará com exemplos básicos; O controle do javascript do vídeo não funciona mais corretamente, e os vídeos só serão substituídos no momento em que você executar o código. Os controles também estão faltando. É melhor você usar o player de vídeo do navegador.