I have managed to convert one format to another (PHP) as long as the files are images. But is it possible to convert GIF to MP4 format? Is there also anyway to display a GIF as video? I am trying to find a way to display a large GIF file as video because they are more faster and smaller in size.