grazie... lo sapevo...
so come trasformare un JPG...
ma se volessi fare una funzione che riduce anche gli altri formati di files?
e se non fosse supportata la libreria GD?

sul mio server locale non riesco + a far funzionare GD...
come posso reinstallarlo?
la riga nel PHP.ini è decommentata...
grazie