[php] modificare estensione file

[mindfield]

Scusate, sapete dirmi qual'è il comando per modificare l'estensione di un file in php?
Devo fare in modo che tutte le immagini .png in una cartella siano rinominate .gif

Grazie

[DesertStorm]

mi pare che cosi rovini i file però.... basterebbe un rename credo

rename (vecchio file, nuovofile);