código: (no lo pongo entero, sólo hasta la parte de la extensión del archivo)
Código PHP:
if($_FILES['archivo']['name'])
{
$local = $_FILES['archivo']['name'];
$remoto = $_FILES['archivo']['tmp_name'];
$extension = explode(".", $local);
$n = count($extension)-1;
$miext="jpg";