Redimencionar imagenes con PHP

Pues un problema más fue que al utilizar div en lugar de la etiqueta img, debia redimencionar una imagen, pues tuve que crear una imagen y aquí les dejo la función

function RedimensionarJPG($origen,$destino,$NewWidth,$NewHeight,$calidad)
{
list($width, $height) = getimagesize($origen);
$thumb = ImageCreateTrueColor($NewWidth, $NewHeight);
imagecopyresampled($thumb, imagecreatefromjpeg($origen), 0, 0, 0, 0, $NewWidth, $NewHeight, $width, $height);
imagejpeg($thumb,$destino,$calidad);
imagedestroy($thumb);
}


Donde:
$Origen es el lugar donde se encuntra tu imagen original
$destino es la carpeta donde se guardara tu imagen
$NewWidth ancho al cual quieres redimensionar
$NewHeight alto al que quieres redimensionar
$calidad calidad de la imagen de 0 a 100, recomiendo 100

ejemplo:
$archivo = "imgs/original/imagen1.jpg;";
$miniatura="imgs/destino/imagen2.jpg";
RedimensionarJPG($archivo,$miniatura,"250px","130px",100);

Espero sea de ayuda
Gracias por su lectura, agradecere tu comentario,
atte The Dzip.