Ricavare e cambiare estensione

[jackweb]

Salve a tutti, è da veramente poco che mi cimento con il php, sono alle prime armi.
Vi spiego il mio quesito...

Tramite basename($_SERVER['PHP_SELF'] ricavo il nome della pagina caricata.
Vorrei poter estrarre la stringa sostituendone l'estensione per poi associarla ad una variabile.

Praticamente voglio ottenere un link con lo stesso nome della pagina ma estensione differente, per esempio pdf o html.

Ho utilizzato pathinfo($pagina, PATHINFO_EXTENSION) per ricavarla;

Ma come posso però farne la sostituzione ed associarla poi alla nuova variabile?

[las]

se ho capito bene quello che vuoi fare dovrebbe essere una cosa del genere:

[url="<?= pathinfo ($_SERVER['PHP_SELF'],PATHINFO_FILENAME );?>.pdf"]Tuo link senza percorso[/url]

[url="<?= substr($_SERVER['PHP_SELF'],0,-3);?>.pdf"]Tuo link con percorso[/url]

[jackweb]

Grazie della risposta.
Non è esattamente quello che intendevo ma lo trovo comune utile.
Ti posto il mio codice che mi funziona ma non è ottimale:

<?php $link = basename($_SERVER['PHP_SELF']);  $estensione = str_replace(array(".php"),".pdf", $link); 
$link = " \" pdf/$estensione \"  target=\"_blank\" ";

Io per sostituire l'estensione ho usato str_replace, ma sicuramente c'è un metodo migliore di quello.

Poi ho provato a farlo aprire in una nuova finestra con il codice successivo.