Sending files with PHP

[Anon]

Hi,
I'm looking for code that will let me send the user a file from a PHP page, including binary files. In particular, I was wondering if there are any functions to get the mime type of a file based on the extension, and functions to set the appropriate headers and so on to send the file.

This would be used, for example, when you want to let users download files through a PHP script that performs security checks (as opposed to giving users a direct link to a file).

Thanks!
Matias

[Anon]

Rake a look here:
<a href="http://www.zend.com/zend/spotlight/creatingpdfmay1.php">http://www.zend.com/zend/spotlight/creatingpdfmay1.php</a>