我想允许用户从服务器下载特定文件并让他们选择文件名。
它是一个 JSON 文件。
我有以下有效的 PHP 脚本,但它会自动命名文件:
if (file_exists($myFile)){
header ("Content-Type: application/download");
header ("Content-Disposition: attachment; filename=$myFile");
header("Content-Length: " . filesize("$myFile"));
$fp = fopen("$myFile", "r");
fpassthru($fp);
} else {
echo "no file exists";
};