31 Oct 2019
12 Fév 2005
12 Fév 2005
Obtenir l'extension d'un fichier
Compatibilité : PHP 5, PHP 7, PHP 8
3 méthodes pour connaitre l'extension d'un fichier, en cherchant le point et appliquer des méthodes de substitution ou avec le tableau pathinfo.
Invité
22 Fév 2012 à 15:08merci
Invité
31 Aout 2011 à 19:32Il est preferable d'ecrire quelque chose dans le genre
PhpSources
29 Juin 2010 à 00:48Merci pour ta réactivité, c'est corrigé.
Invité
18 Juin 2010 à 13:26$trouvemoi = ".";
Invité
21 Sept 2009 à 18:23Plus simple et qui prend compte du fait qu'il puisse avoir plusieurs "."
, tester avec php5:
function enleveExtension($inc, $ext){
return basename($inc, $ext);
}
Invité
04 Déc 2008 à 14:55Si jamais ton nom de fichier contient plusieurs "." ça ne fonctionne pas. PLus simplement, faire :
function enleveExtension($fichier){
if(strrpos($fichier, ".")===false) return $fichier;
else return substr($fichier, 0, strrpos($fichier, "."));
}