El código que tengo no es exactamente así pero sirve para mi duda:
Código PHP:
//selecciono la imagen que ha subido el usuario
$img = "img/nombreimagen.jpg";
//destino de esa imagen, como solo es cambiar tamaño será el mismo sitio
$destino = "img/nombreimagen.jpg";
//adquiero la información de la imagen
$img_info = getimagesize($img);
$ancho = $img_info[0];
$alto = $img_info[1];
//creo la miniatura
$img1 = imagecreatetruecolor(100,100);
//creo la imagen a partir $img
$img2 = imagecreatefromjpeg($img);
//cambio el tamaño de la imagen
imagecopyresampled($img1,$img2,0,0,0,0,100,100,$ancho,$alto);
//la guardo modificada
imagejpeg($img1,$destino,"100");
El código que he probado no me ha funcionado, pero aun así lo pongo para que veas por donde van los tiros:
Código PHP:
//selecciono la imagen que ha enviado el usuario con el formulario
$img = $_FILES["imagen_propuesta"]["tmp_name"];
//destino de esa imagen, en este caso no es el mismo
$destino = "img/nombreimagen.jpg";
//adquiero la información de la imagen
$img_info = getimagesize($img);
$ancho = $img_info[0];
$alto = $img_info[1];
//creo la miniatura
$img1 = imagecreatetruecolor(100,100);
//creo la imagen a partir $img
$img2 = imagecreatefromjpeg($img);
//cambio el tamaño de la imagen
imagecopyresampled($img1,$img2,0,0,0,0,100,100,$ancho,$alto);
//la guardo modificada
imagejpeg($img1,$destino,"100");
La duda me corroe