Y si en vez de usar
Código PHP:
Ver original$tipo_archivo = $HTTP_POST_FILES['archivo']['type'];
Usas
Código PHP:
Ver original$tipo_archivo = $_FILES['archivo']['name'];
if (!strpos($tipo_archivo, ".pdf")) { echo "<p>La extension <b>$tipo_archivo</b> no es correcta.</p>";
echo "<p>Solo pueden subir archivos con extension .pdf";
}else{
...