Maison > Article > développement back-end > La chaîne PHP obtient l'extension de fichier
Cet article présente principalement la chaîne PHP pour obtenir l'extension de fichier. Les amis intéressés peuvent s'y référer. J'espère qu'il sera utile à tout le monde.
Le code est le suivant :
$filename="123.jpg"; //方法一: function get_ext($file_name){ return array_pop(explode('.', $file_name)); //用.号对字符串进行分组 } echo get_ext($filename); //方法二: $fileEx=strtolower(substr(strrchr($filename,"."),1)); echo $fileEx; //方法三: $extend=pathinfo($filename); echo $extend['extension']; //方法四: $filetype=array("image/gif","image/jpeg"); //判断文件扩展名类型是否在该 数组中 if(in_array($_FILES['file']['type'],$filetype)){ //针对上传文件判断 echo $_FILES['file']['type']; }
Résumé : Ce qui précède est l'intégralité du contenu de cet article, j'espère qu'il sera utile à l'étude de chacun.
Recommandations associées :
Méthode php pour obtenir le nombre de lignes de fichier
Résumé de l'utilisation de la fonction de commande d'exécution externe php
Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!