Eisiste una libreria in php per ricavare da un file avi informazioni quali durata del filmato,risoluzione etc?