PHP extension for video editing, wrapping ffmpeg