如何在用户请求时更改文件头名称
例如，当用户打开url [dl.example.com/file.zip]进行下载时，浏览器会保存名为[ex1_file.zip]而不是[file_zip]的文件。
我不知道如何处理所有请求并在php中进行此更改
请记住，我无法更改文件的真实姓名。
编辑：
我不想要代码，我需要一种方法来处理一个函数中的所有请求并更改标题。
编辑2：
在下面的问题确切地说使用download.php下载，但我没有这个。例如，当用户将url [dl.example.com/file.zip]添加到下载管理器时，文件名必须更改为[ex1_file]。
Downloading a file with a different name to the stored name