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){
-
$trova_punto =
explode(".",
$nome);
-
$estensione =
$trova_punto[count($trova_punto) -
1];
-
-
if (isset($trova_punto[1]) ==
FALSE){
-
return "Nessuna estensione";
-
}
-
return $estensione;
-
}
-
$file="pippo.jpg";
-
echo estensione
($file);
/// restituisce jpg
Può spesso succedere di lavorare con le date in formato AAAA-MM-GG e di doverle convertire nel ns. formato GG-MM-AAAA (o viceversa). Un caso tipico si presenta quando una data estratta da un database mysql va mostrata a video ad un'utenza italiana.
Con questa semplice funzione è possible convertire le date sia dal formato americano a quello italiano che viceversa.
PHP:
-
function ConvertitoreData($data){
-
-
$a=$separa[0];
-
$b=$separa[1];
-
$c=$separa[2];
-
$data_convertita="$c-$b-$a";
-
return $data_convertita;
-
}
-
-
$data_da_convertire="2008-10-20";
-
echo ConvertitoreData
($data_da_convertire);
il risultato dell'echo di riga 11 sarà "20-10-2008".
Ultimi Commenti