Ottenere l’estensione di un file
[sourcecode language=”php”]
<?php
function ottieni_estensione_file($nome_file)
{
/* may contain multiple dots */
$parti_stringa = explode(‘.’, $nome_file);
$estensione = $parti_stringa[count($parti_stringa) ‐ 1];
$estensione = strtolower($estensione);
return $estensione;
}
?>
[/sourcecode]