Buongiorno a tutti.
Qualcuno sa come potrei fare per poter salvare in maniera automatica e con un nome deciso da me il file HTML che viene generato quando lancio un file PHP e senza installare un server sulla mia macchina?
Provo a spiegare meglio:

Se il file pippo.php che si trova nella root del sito www.miosito.it è:

<?php echo "<h1>Hello WORLD!</h1>"?>

e nel browser digito l'indirizzo: www.miosito.it\pippo.php

nel browser stesso vedo apparire:

Hello WORLD!.

Se poi guardo la sorgente mi ritrovo:


<h1>Hello WORLD!</h1>


Ecco il punto: io vorrei poter automatizzare il salvataggio del file pluto.txt il cui contenuto è proprio quello appena scritto (<h1>Hello WORLD!</h1> ) senza doverlo fare manualmente utilizzando la funzione "salva con nome" fornita dal browser.

Mi pare una cosa abbastanza banale ma non riesco proprio a trovare il modo di farlo...
grazie,
Cri