A PHP frontend to convert videos to GIF