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?