";
if ($name != $file) {
echo ">>>> Necessario rinominare in $name";
}
} else {
echo '>>>>>>>>>>>> Check fallito, cancellare il file per prudenza';
}
/* verifica che MIME type ed estensione siano congrui */
function checkFile ($file, &$cleanName) {
$ext = pathinfo($file, PATHINFO_EXTENSION);
$nameOriginal = pathinfo($file, PATHINFO_FILENAME);
echo 'Estensione '. $ext.'
';
echo 'Nome originale ' .$nameOriginal.'
';
$finfo = new finfo(FILEINFO_MIME_TYPE);
echo 'File info MIME '.($finfo->file($file)).'
';
$mime = array_search(
$finfo->file($file),
[ 'jpg' => 'image/jpeg',
'png' => 'image/png',
'gif' => 'image/gif',
'jpeg' => 'image/jpeg',
'tif' => 'image/tiff',
'tiff'=>'image/tiff',
],
true
);
if ($mime !== false) {
echo 'Estensione rispetto al MIME type rilevato '.$mime.'
';
$checked = ($ext == $mime);
if (!($checked)) {
echo ('MIME type non congruo con estensione
');
}
} else {
echo 'MIME type non configurato
';
}
// modifica nome
$newName = str_replace('.','',$nameOriginal);
$cleanName = str_replace ($nameOriginal, $newName, $file);
if ($nameOriginal != $newName) {
echo 'File rinominato '.$newName.'
';
}
return $checked;
}
?>