Originariamente inviato da beta_persei
non lo so se sto dicendo una sciocchezza, ma con una 'explode' potresti troncare il nome del file prima dell'estensione....
cubalibre ha già indicato la giusta funzione..
che è basename, mettendo come secondo parametro l'estensione, compreso il punot, della pagina..

Codice PHP:
$ext=".php";
$pag_attuale = basename($_SERVER['SCRIPT_NAME'],$ext);