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
Grande… ottima funzione, complimenti. Io metterei alla linea 6
return FALSE;
in modo da non avere output e usare solo le condizioni.
Saluti…