La seguente funzione serve e ridimensionare fisicamente un’immagine,
mantenendo le proporzioni della stessa:

<?php

function resizeToFile ($sourcefile, $dest_x, $dest_y, $targetfile, $jpegqual){

/* prende la dimensione dell'immagine da ridimensionare */

  picsize=getimagesize("$sourcefile");

  $source_x = $picsize[0];

  $source_y = $picsize[1];

  $source_id = imageCreateFromJPEG("$sourcefile");

  $target_id=imagecreate($dest_x, $dest_y);

  $target_pic=imagecopyresized($target_id,$source_id,0,0,0,0,$dest_x,$dest_y,

  $source_x,$source_y);

  imagejpeg ($target_id,"$targetfile",$jpegqual);

  return true;

}

?>