Modificar o tamanho da imagem

<?php 
include("../conexao/conexao.php");

if(isset($_POST['acao']) && $_POST['acao'] == 'upload'):

	$opcao = $_POST['opcao'];
	$file = $_FILES['imgs'];
	$numFile = count(array_filter($file['name']));
	$pasta = 'upload';
	$permissao = array('image/jpeg', 'image/png');
	
		
	
	if($numFile <= 0)
	
	echo "<script>alert('Selecione pelo menos uma imagem!')</script>
		  <script>window.location = 'insercao-volkswagen.php'</script>";
	
	
	
	else{
		for($i = 0; $i < $numFile; $i++){
			$name =  $file['name'][$i];	
			$type = $file['type'][$i];
			$size = $file['size'][$i];
			$error = $file['error'][$i];
			$tmp = $file['tmp_name'][$i];
			
			$extensao = @end(explode('.', $name));
			$novoNome = rand().".$extensao";
			
	
		
	$insert = "INSERT INTO tipo (tipo, imagem) VALUES ('$opcao', '$novoNome')";
	$query = mysql_query($insert) or die (mysql_error());		
						
			
						if(!in_array($type, $permissao))
							echo "<script>alert('Por favor, envie uma imagem!')</script>
								  <script>window.location = 'insercao-volkswagen.php'</script>";
						
						else
	
						if(move_uploaded_file($tmp, $pasta. "/" .$novoNome))	
							echo "<script>alert('Enviado com sucesso...')</script>
								 <script>window.location = 'insercao-volkswagen.php'</script>";
							
							}
					
						}
						
endif;
?>