Restringindo os tipos de arquivos que podem ser enviados ao servidor em uma operação de upload em PHP

$tipos_validos = array("image/jpeg", "image/pjpeg", "image/jpg", 
  "image/gif", "image/png");

<?
  // diretório no qual o arquivo será gravado. este diretório
  // deverá ter permissão de escrita
  $diretorio = "/home/xxxx/xxxx/imagens/";
  
  // lista de tipos aceitáveis. veja
  // http://www.arquivodecodigos.net/arquivo/ferramentas/mime_types.php
  // para uma lista bem completa de mime-types
  $tipos_validos = array("image/jpeg", "image/pjpeg", "image/jpg", 
    "image/gif", "image/png");
  
  // vamos verificar o código do erro
  if($_FILES['arquivo']['error'] == UPLOAD_ERR_OK){
    // o arquivo foi transferido com sucesso. vamos verificar se
    // o tipo do arquivo é permitido
    if(!in_array($_FILES['arquivo']['type'], $tipos_validos)){
      echo "O tipo do arquivo enviado (" . 
	$_FILES['arquivo']['type'] . ") não é permitido";
    }
    else{
      move_uploaded_file($_FILES["arquivo"]["tmp_name"], 
	$diretorio . $_FILES["arquivo"]["name"]);
      echo "Upload feito com sucesso";
    }
  }
  else
    echo "Ocorreu um erro no upload";
?>