Я хочу скачать удаленный файл и поместить его в каталог моего сервера с тем же именем, что и у оригинала. Я пытался использоватьfile_get_contents($url).

Проблема в том, что имя файла не включено в$url, это как:www.domain.com?download=1726, Этот URL дает мне, например:myfile.exeтак что я хочу использоватьfile_put_contents('mydir/myfile.exe');.

Как я могу получить имя файла? Я старалсяget_headers() перед загрузкой, но у меня есть только размер файла, дата изменения и другая информация, имя файла отсутствует.