PHP frontend script for converting video to GIF