|
Lorsque vous travaillez avec des fichiers en PHP , vous aurez souvent besoin de connaître l' extension des fichiers , " doc . " Ou "pdf ". Par exemple , afin de déterminer comment traiter le contenu du fichier . Vous pouvez faire cette détermination en utilisant des fonctions de manipulation de texte intégré dans de PHP pour diviser le nom complet du fichier dans le nom et l' extension de fichier. L'extension d'un fichier est toujours précédée d' un point, de sorte que vous pouvez l'utiliser pour séparer le nom du fichier au bon endroit . Instructions
1 Créer une variable pour contenir un nom de fichier par exemple en ajoutant le code suivant dans votre page PHP :
$ filename = " monfichier.txt " ;
< br > 2 Utilisez le PHP explode ( ) fonction de séparer le nom du fichier , en utilisant le point comme séparateur , qui raconte PHP où de scinder le texte :
$ Pièces = explode ( , $ " . " filename) ;
3 la dernière entrée dans le tableau des parties $ contiendra l'extension de fichier , et vous pouvez le récupérer en utilisant l'extrémité () de PHP fonction :
$ extension = fin ($ parts) ;
4 Imprimer l' extension de fichier à l'écran :
echo $ prolongation;
pour le nom du fichier d'exemple dans l' variable $ filename, cela montrera "txt" lorsque la page est affichée dans un navigateur Web.
5 Vous pouvez récupérer la partie du nom du nom du fichier en supprimant l'extension de fichier à partir de la chaîne en utilisant l' PHP str_replace () pour remplacer l'extension avec une chaîne vide ( ""):
$ nom = str_replace ("." . $ extension, "", $ filename ) ;
Note que vous ajoutez un point avant l'extension de la fonction pour supprimer le point précédent ainsi que l'extension de fichier str_replace (). $ nom contient maintenant le nom du fichier, sans l'extension , par exemple , " monfichier "
|
