Correct way to trigger a file download (in PHP)?

Question

Quick (and hopefully easy) question: I need to trigger a download of a PDF file that\'s generated by a PHP file. I can do this:

Answer 1

Automatically starting downloads usually use a meta tag inside a normal page:

This example will redirect the browser in 10 seconds to download.php.