Tag Archive for 'estensione'

Estensione di un nome di file

Published on November 5, 2008 in codice volante. 2 Comments Tags: , , , , .

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.

PLAIN TEXT
PHP:
  1. function estensione($nome){
  2.     $trova_punto = explode(".", $nome);
  3.     $estensione = $trova_punto[count($trova_punto) - 1];
  4.     $estensione = strtolower($estensione);
  5.     if (isset($trova_punto[1]) == FALSE){
  6.         return "Nessuna estensione";
  7.     }
  8.     return $estensione;
  9. }
  10. $file="pippo.jpg";
  11. echo estensione($file); /// restituisce jpg