PHP文件扩展名问题
PHP文件扩展名问题
提问于 2012-10-17 01:33:55
如何使用任何php函数获得文件扩展名？
在php中是否有内置函数。我使用的是一些爆炸功能，但任何其他功能都存在。
回答 3
Stack Overflow用户
发布于 2012-10-17 01:35:35
Stack Overflow用户
发布于 2012-10-17 01:36:12
是的，使用Pathinfo()函数。
<?php
$path_parts = pathinfo('/www/htdocs/inc/lib.inc.php');
echo $path_parts['dirname'], "\n";
echo $path_parts['basename'], "\n";
echo $path_parts['extension'], "\n";
echo $path_parts['filename'], "\n"; // since PHP 5.2.0
?>上面的示例将输出：
/www/htdocs/inc
lib.inc.php
php //your extension
lib.incStack Overflow用户
发布于 2012-10-17 01:37:00
这是我用来获得文件扩展名的代码：
$filename = '/some/path/file.txt';
$extension = strtolower(substr(strrchr($filename, '.'), 1));你可以把它包装在你的Utils类或其他东西中;)
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/12931296
复制相关文章
相似问题
腾讯云开发者
