Salvare immagini con estensione diversa

Salve, per salvare immagini da url esterni scrivo così:

file_put_contents("images/immagine1.gif", file_get_contents("http://sito.com/immagine.gif"));


Però c'è un modo per far sì che l' immagine venga salvata con un estensione diversa? Esempio da gif a png o viceversa, se scrivo "images/immagine1.png" verrà solo rinominata ma resterà sempre gif..
.
Risolto

Abbstanza semplice, guardati le documentazioni per le funzioni imagecreatefrom***() e image***()

Codice PHP:

---

<?php
imagegif(imagecreatefrompng("file.png"),"file.gif")
?>

---