stampare nome pag.corrente (senza estensione)

[mahamatt]

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

io conosco solo questo sistema:

$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!!

[cubalibre810]

basename()

Guarda gli esempi

[beta_persei]

non lo so se sto dicendo una sciocchezza, ma con una 'explode' potresti troncare il nome del file prima dell'estensione....

[clasku]

Prova così

$pag_attuale = basename($_SERVER['SCRIPT_NAME']);
$pag_attuale = explode (".", $pag_attuale);
echo $pag_attuale[0]; //stampa solo la parte prima del .php 

occhio che se i nomi delle pagine contengono dei punti questa non va bene

EDIT: la soluzione di cubalibre è la migliore... non mi ricordavo di quella proprietà

[Fred_88]

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..

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

[mahamatt]

grazie a tutti x le pronte risposte........ molto gentili come al solito

ora non ho tempo x fare delle prove, cmq se avrò problemi posterò di nuovo qua.
ciao a tutti e grazie ancora