Redimencionar una Imagen en PHP

Tomando en cuenta lo anterior aqui hay una funcion que cumple con ese objetivo:

function redimensionar($original,$destino,$anchura)
{
//calculamos la altura proporcional
$datos = getimagesize($original);
$ratio = ($datos[0] / $anchura);
$altura = round($datos[1] / $ratio);
// esta será la nueva imagen reescalada
$thumb = imagecreatetruecolor($anchura,$altura);
$img = imagecreatefromjpeg($original);

// con esta función la reescalamos
imagecopyresampled ($thumb, $img, 0, 0, 0, 0, $anchura, $altura, $datos[0], $datos[1]);
// la guardamos con el nombre y en el lugar que nos interesa.
imagejpeg($thumb,$destino);
}