Nom d'un fichier par son extension

<?php
$dir = './';
$elements = scandir($dir);

foreach($elements as $element) {
	if(preg_match('#\.mp3$#i',$element))
		echo '<a href="'.$element.'">'.rtrim($element, '.mp3').'</a>';
}
?>

<?php
$dir = './';
$elements = scandir($dir);

foreach($elements as $element) {
	if(preg_match('#\.mp3$#i',$element))
		echo $element;
}
?>

<?php
$dir = '.';
$elements = scandir($dir);

foreach($elements as $element)
{
	if(preg_match('#\.mp3$#i',$element))
	{
		$url = $element;
	}
}
?>
<?php
$fichier_nom = basename($url);
$fichier_taille = filesize($url);
$fichier_mime = mime_content_type($url);

header("Content-disposition: attachment; filename=$fichier_nom" );
header("Content-Type: $fichier_mime" );
header("Content-Transfer-Encoding: binary" );
header("Content-Length: $fichier_taille" );
header("Pragma: no-cache" );
header("Cache-Control: no-store, no-cache, must-revalidate, post-check=0, pre-check=0" );
header("Expires: 0" );
readfile($url);
?>

<a href="Mon-mp3.mp3">Mon-mp3</a>