Originariamente inviato da midnight
Sulla base di quanto suggerito da Dennis, ti suggerirei questo, rapido e veloce ^_^

<?php

$nomefile = "$PHP_SELF";
$nomefile = substr($nomefile,1,strlen($nomefile)-5);
echo $nomefile;

?>
$PHP_SELF non si usa più (ora $_SERVER['PHP_SELF']) e non serve metterlo tra apici