PHPでパス内のファイル名を取得する方法は何ですか

<?php
$full_name = &#39;c:\wamp\php\php.ini&#39;;
$base = basename($full_name); // $base is "php.ini"
?>

<?php
$path_parts = pathinfo(&#39;/www/htdocs/inc/lib.inc.php&#39;);
 
echo $path_parts[&#39;dirname&#39;], "\n";
echo $path_parts[&#39;basename&#39;], "\n";
echo $path_parts[&#39;extension&#39;], "\n";
echo $path_parts[&#39;filename&#39;], "\n"; // since PHP 5.2.0
?>

array explode ( string $delimiter , string $string [, int $limit ] )