PHP extension for ffmpeg