在php编程中，使用其header函数实现文件的下载，以PDF为例：
代码说明：
对于第一句，是必须的，只要改一下文档的类型就行，例如下载txt文件，那就改为header(’Content-type: application/txt’);，
第二句，为下载文档起一个名字，如果是txt文件的话，可以改为header(’Content-Disposition: attachment; filename=”downloaded.txt”‘);，
第三句，readfile这个函数就是读取一个文件然后输出，这里文件的路径需要是真实的文件路径，如果是downloads文件夹下面的一个original.txt文件，可以这样写readfile(’downloads/original.txt’);，而如果提交的页面会输出文本等字符，那么下载到的文件会是原文件original.txt和提交的页面输出的文字的混合文件。