script estensioni file?

[whisher]

Ciao.
Oppure

<?php  
$string = "mio.php";
$ext = substr(strrchr($string, "."), 1);
echo  $ext;
?>