Download di file txt in PHP

In pratica, al click su un link, deve partire una elaborazione lato PHP, che deve estrarre dei dati e riempire un file txt.

Tale file non deve essere salvato sul server, ma deve essere mandato in output nel browser.

Tralascio la parte di elaborazione ed estrazione dati; il file riempito come volete e vi serve.

Questo il codice PHP:

$txt = '';
// RIEMPIMENTO VARIABILE $txt
// IL CONTENUTO DI QUESTA VARIABILE ANDRÀ A RIEMPIRE IL FILE

header('Content-Disposition: attachment; filename="file.txt"');
header('Content-Type: text/plain');
header('Content-Length: ' . strlen($txt));
header('Connection: close');
echo $txt; // --> LASCIARE QUESTA RIGA!!

Enjoy!