php页面，
比如网页是：http://www.123.com/down.php?id=1
文件名是：EXCEL教程
下载的实际文件地址是http://file.123.com/123/123.zip
怎么在这个页面让他下载的文件名变成 excel教程.zip，而不是文件本身的123.zip
有没有不用缓存直接能改了名称的方法
php页面，
比如网页是：http://www.123.com/down.php?id=1
文件名是：EXCEL教程
下载的实际文件地址是http://file.123.com/123/123.zip
怎么在这个页面让他下载的文件名变成 excel教程.zip，而不是文件本身的123.zip
有没有不用缓存直接能改了名称的方法