Задавался как то тоже этим вопросом. И вроде как для каждой версии PHP идет своя версия ffmpeg. Конечно, могу ошибаться