注！：
下载文件的前提是获取已有文件的名字，如果程序刚把文件写入到文件夹中不能直接下载文件，虽然获取到了文件名，但在程序上这个文件写入还没停止，程序还在运行，这个时候需要另开一个方法获取文件的名字，再进行下载。
HTML页面
文件：a.jpg只需要在php文件中设置请求头就可以了，创建 dome_do.php 文件
dome_do.php 页面
$text_name = $_GET['text_name'];
//得到文件名
header( "Content-Disposition:attachment;
filename=".$text_name);
//告诉浏览器通过附件形式来处理文件
header('Content-Length: ' . filesize($text_name));
//下载文件大小
readfile($text_name);
//读取文件内容【php 把文件下载到本地】
