リモート ファイルをダウンロードして、元のファイルと同じ名前でサーバー ディレクトリに配置したいと考えています。使ってみましたfile_get_contents($url)
。
問題は、ファイル名が に含まれていない$url
ことです。次のようになりますwww.domain.com?download=1726
。この URL は、例:myfile.exe
を提供するので、 を使用したいと思いますfile_put_contents('mydir/myfile.exe');
。
ファイル名を取得するにはどうすればよいですか? ダウンロード前に試してみget_headers()
たのですが、ファイルサイズや更新日などの情報しかなく、ファイル名がありません。