-
-
- /*
- 获取文件的扩展名
- 用法: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
-
复制代码
|
本站声明
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn
作者最新文章
-
2024-10-22 09:46:29
-
2024-10-13 13:53:41
-
2024-10-12 12:15:51
-
2024-10-11 22:47:31
-
2024-10-11 19:36:51
-
2024-10-11 15:50:41
-
2024-10-11 15:07:41
-
2024-10-11 14:21:21
-
2024-10-11 12:59:11
-
2024-10-11 12:17:31