php - récupérer l'extension d'un fichier
une petite fonction qui renvoie l'extension d'un nom de fichier passé en paramètre.



function fileExtension($filename){
$ext = pathinfo($filename, PATHINFO_EXTENSION);
return($ext);
}


page précédente

delphes.org - 2018 - powered by beclair