[PHP] nome file

[dalceredo]

E questa una funzioncina per ricavare il nome del file senza l'estensione

            $nome_int=basename($_SERVER['PHP_SELF']);
            $nome_no_ex=strlen($nome_int)-4;
            $nomeok=substr($nome_int,0,$nome_no_ex);
            echo $nomeok; 

che ne dite?

sapete fare di meglio?