estensione file upload

[Stanislao]

Salve, in uno script utilizzo questo script per rinominare il file caricato sul server

$finedic='DIC';
$nomefile=$id_ope.'-'.$id_dom.'-'.$prot_dom.'-'.$A016.'-'.$finedic;
move_uploaded_file($_FILES["file"]["tmp_name"], "$folder" . $nomefile.'.pdf');

ora però l'applicativo accetta anche file diversi dal pdf e mi chiedo...
sapreste indicarmi per favore come passare l'estensione anche di altri file e non limitarla solo a quel .pdf?

grazie mille

[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); 

[Stanislao]

provo subito grazie!

[Flaviors200]

Non ti fidare dell'estensione, quando carichi un file conviene controllare sempre il MIME type.

Potrei infatti, prima di caricarlo, modificare il nome di un eseguibile da evil.exe a evil.pdf, e l'upload andrebbe comunque a buon fine

Piuttosto utilizza mime_content_type() oppure finfo_file()

[Stanislao]

Non ti fidare dell'estensione, quando carichi un file conviene controllare sempre il MIME type.

Potrei infatti, prima di caricarlo, modificare il nome di un eseguibile da evil.exe a evil.pdf, e l'upload andrebbe comunque a buon fine

Piuttosto utilizza mime_content_type() oppure finfo_file()

e questo come si potrebbe cambiare nel mio script??
perche mi sono trovato cmq alcuni file con estensioni diverse

[Stanislao]

$nomedic = $_FILES["file"]["name"];
$extdic = pathinfo($nomedic, PATHINFO_EXTENSION);
	
if($extdic != "pdf" OR $extdic != "jpg" OR $extdic != "jpeg")
{
    header('Location:fileko.php');
}


$finedic='DIC';
$nomedichiarazione=$id_ope.'-'.$id_dom.'-'.$prot_dom.'-'.$A016.'-'.$finedic.'.'.$extdic;

ho provato così ma non va...