estensione file upload

[brodik]

Soluzione 1:

$file_caricato = $_FILES["file"]["tmp_name"];
$nome_file_caricato = $_FILES["file"]["name"];
$ext = end(explode('.', $nome_file_caricato));

$finedic = 'DIC';
$nomefile = $id_ope.'-'.$id_dom.'-'.$prot_dom.'-'.$A016.'-'.$finedic;
move_uploaded_file($file_caricato, $folder.$nomefile.".".$ext); 

Soluzione 2:

$file_caricato = $_FILES["file"]["tmp_name"];
$nome_file_caricato = $_FILES["file"]["name"];
$ext = pathinfo($nome_file_caricato, PATHINFO_EXTENSION);

$finedic = 'DIC';
$nomefile = $id_ope.'-'.$id_dom.'-'.$prot_dom.'-'.$A016.'-'.$finedic;
move_uploaded_file($file_caricato, $folder.$nomefile.".".$ext);