¡que tal isabelm!
aclarar que aun no estoy al tanto de html5 y lo que aprendo es con lo poco que leo.
en fin, el asunto no parece ser asi de facil como cambiar la extension. aun asi, me esta curioso que chrome fue capaz de interpretar el video. quise hacer la misma prueba con un video propio en formato *.avi y no obtuve resultado en chrome ni firefox -no tengo opera.
viendo el atributo
codecs, pense que era algun atributo propietario de algun navegador. por lo que me puse a buscar un poco en el Draft HTML5 y segun se explica que dicho atributo puede ser necesario en algunos formatos. la explicacion resumida es que las extensiones de videos en realidad no identifican el codec -codificador que utiliza el video- si no mas bien es un contenedor que puede contener multiples pistas (audio y video), algo asi como un archivo compresado (zip, tar, taz, rar) es un contendor para multiples archivos. en fin, hay contenedores de video que pueden utilizar diferentes codec y esto a lo que se refiere el atributo
codecs. por tanto, me parece que parte de la solucion es identificar el codec que utiliza tu video *.avi y buscar el identificador equivalente que se utiliza en el atributo. el otro asunto es que no se si tambien depende de otros factores como la compatiblidad del navegador con dicho codec, o si es dependiente de si tu sistema tiene instalado el codec.
en el ejemplo que estaba probando, el video lo hice con una camara digital. la camara genera el video en *.avi y pude identificar que el codec es MJPG. puedo reproducir el video en un reproductor del sistema, pero por mas que busco no encuentro el identificador que debe utilizarse en el atributo
codecs para dicho formato. total, aunque lo encuentre tampoco me asegura que funcione. parece que todo aun es experimentativo...
