Comment obtenir l'extension d'un fichier en PHP ? Méthodes fiables et pièges à éviter

Bonjour à tous ! Je viens de commencer à apprendre PHP et j'écris un petit script pour télécharger des images sur le serveur. Je dois vérifier l'extension du fichier téléchargé pour, par exemple, n'autoriser que JPG et PNG. J'ai essayé d'utiliser la fonction `explode()` et de prendre le dernier élément du tableau, mais cela semble être une solution de fortune. Voici mon code : ```php $filename = 'myphoto.jpg'; $parts = explode('.', $filename); $extension = end($parts); echo $extension; // jpg ``` Mais que se passe-t-il si le nom du fichier contient plusieurs points, par exemple `my.file.name.jpg` ? Ou si le fichier n'a pas d'extension du tout ? J'ai entendu dire qu'il existe des fonctions spéciales pour cela. Dites-moi, s'il vous plaît, comment obtenir correctement et en toute sécurité l'extension d'un fichier en PHP ? Quelles sont les fonctions intégrées et que faut-il utiliser dans différentes situations ? Merci d'avance pour votre aide ! <<>>

Solution principale : la fonction pathinfo()

La manière la plus correcte et universelle d'obtenir l'extension d'un fichier en PHP est d'utiliser la fonction intégrée pathinfo()

0 réponses