Según este
enlace que facilitabas, si que soporta el formato wmv. ¿O es que hay varias versiones del mismo?
EDITADO: Si te fijas en la última noticia de la
página oficial habla de decodificadores para el wmv 9 que comentas.
Por otro lado, ¿esto del ffmpeg-php es una clase php para no tener que hacer exec's del ffmpeg?
¿Tendrías algún inconveniente en pasarme el ffmpeg.exe? ¿Es que lo estuve buscando y no lo encontré para windows?