定义名字

用PHP下载文件并且修改文件名： 本地下载文件： $file_url = “./...