Download a file from server with specific name in PHP

[droopsnoot]

After you’ve used read_file to load the contents of the file, don’t you need to output it to the browser in order for your user to save it locally?