Può essere utile ricavare l'estensione dal nome di un file di cui ad esempio si è fatto l'upload e lo si vuole rinominare con un nome univoco. Chiaramente l'estensione in questo caso non va cambiata, è quindi necessario estrappolarla dal nome del file e conservala.
Ecco una funzione che può essere di aiuto in questo senso.
PHP:
-
function estensione($nome){
-
return "Nessuna estensione";
-
}
-
return $estensione;
-
}
-
$file="pippo.jpg";
è interessante anche questa funzione che esiste in php (pathinfo)
di seguito l’esempio preso direttamente dal manuale php
risultato
/www/htdocs
index.html
html
Ottimo, ovviamente io è anni che uso la funzione che mi sono fatto da solo senza mai prendere in considerazione che magari ne esisteva una già bella pronta