-
-
- /*
- 获取文件的扩展名
- 用法: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 = "index.php";
- $Filename = GetFileType($Filename);
- echo $Filename; // 打印出php
-
复制代码
|