I have a php generated CSV file with the filename "list.php". When the user goes to view it, I want it to download a text file with the name "list.txt". I added this so that it would be a text file:
header("Content-Type: text/plain");
but is there a way that I can change the name of the file that downloads?