domanda: come si può stampare il nome del file della pagina corrente SENZA estensione?

io conosco solo questo sistema:

Codice PHP:
$pag_attuale = basename($_SERVER['SCRIPT_NAME']); 
che però mi ricava il nome CON estensione.

in sostanza, avrei bisogno che dalla pagina mario.php venisse automaticamente estratto il valore mario (non "mario.php"), che servirà per poi stampare mario.jpg, <h1>mario</h1>, ecc.

grazie!!