Как получить расширение файла? PHP командная строка - PullRequest
Новая
       13

Как получить расширение файла? PHP командная строка

0 голосов
/ 28 июля 2011

Я делаю CLI-скрипт, который массово переименовывает файлы, однако я не знаю, как получить расширение файла, расширение которого я не знаю ... По сути, у меня есть CSV-файлитак: 

"New filename", "oldfile",
"New filename", "oldfile"

Расширение для старого файла не задано.Как бы я поступил так?Буду очень признателен за помощь.

1 Ответ

3 голосов
/ 28 июля 2011

pathinfo вернет массив, содержащий эту информацию. Вы специально ищете ключ «расширение». 

<?php
// from http://php.net/manual/en/function.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
?>
...