文件下载：
文件下载是浏览器一个功能，我们用php，把一个文件转化成浏览器无法解析的文件，浏览器就会认为，他是下载文件或无效文件。
主要依靠：header() 函数；
header() 方法用于客户端发送响应报头的；
header("content-type:text/html;charset=utf-8");
规定响应的内容类型：类型：mime类型；
fileinfo() 可以获取文件mime类型；
如何使用fileinfo() 这个方法；
添加下载 php fileinfo;
打上勾之后 重启phpstudy
fileinfo怎么使用；
1.打开 $p=finfo_open(FILEINFO_MIME_TYPE) 返回值为一个句柄；
2.获取文件的mime类型 $type=finfo_file($p,"01.html") 参数一：句柄 参数二：文件名
返回值为一个 mime类型；
3.使用完之后关闭 finfo_close($p) 参数一个句柄；
header() 方法介绍；
1.header("location:url") 立即跳转，重新定向
2.header("refresh:5;url=02.php"); 延迟跳转 过5秒后 跳转到02.php文件；
3.header("content-disposition:attachement;filename=".文件名) 文件以下载的形式下载下来；
4.header("content-length".filesize("01.html")) 获取文件内容的大小；
5.header("last-modified:时间")； 服务器最后修改的时间；