第一种方法:魔术常量__FILE__
但似乎你不想要.PHP这个部分。用basename函数可以解决:
basename(__FILE__,'.PHP');
更通用的文件扩展名移除器看起来像这样:
function chopExtension($filename) {
return pathinfo($filename,PATHINFO_FILENAME);
}
var_dump(chopExtension('bob.PHP')); // string(3) "bob"
var_dump(chopExtension('bob.i.have.dots.zip')); // string(15) "bob.i.have.dots"
正如您所料,使用标准字符串库函数要快得多。
function chopExtension($filename) {
return substr($filename,strrpos($filename,'.'));
}
第二种方法:pathinfo
$filename = "jquery.js.PHP";
$ext = pathinfo($filename,PATHINFO_EXTENSION);//will output: PHP
$file_basename = pathinfo($filename,PATHINFO_FILENAME);//will output: jquery.js
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。