PHP extension for video editing, wrapping ffmpeg. PHP5.5+