Maison >développement back-end >tutoriel php >文件扩展名 一个取得文件扩展名的函数
一个取得文件扩展名的函数
/*
GetFileType
用法:GetFiletype($filename)
*/
function GetFiletype($Filename) {
if (substr_count($Filename, ".") == 0) { // 检查文件名中是否有.号。
return; // 返回空
} else if (substr($Filename, -1) == ".") { // 检查是否以.结尾,即无扩展名
return; // 返回空
} else {
$FileType = strrchr ($Filename, "."); // 从.号处切割
$FileType = substr($FileType, 1); // 去除.号
return $FileType; // 返回
}
}
$Filename = "Testfilename.php4";
$Filename = GetFileType($Filename);
echo $Filename; // 打印出php4
以上就介绍了文件扩展名 一个取得文件扩展名的函数,包括了文件扩展名方面的内容,希望对PHP教程有兴趣的朋友有所帮助。