Ich möchte eine entfernte Datei herunterladen und in mein Serververzeichnis mit demselben Namen wie das Original stellen. Ich habe versucht zu verwendenfile_get_contents($url).

Problem ist, dass der Dateiname nicht enthalten ist$url, es ist wie:www.domain.com?download=1726. Diese URL geben Sie mir, z.myfile.exe, also will ich nutzenfile_put_contents('mydir/myfile.exe');.

Wie kann ich den Dateinamen abrufen? Ich habe es versuchtget_headers() vor dem Download, aber ich habe nur Dateigröße, Änderungsdatum und andere Informationen, der Dateiname fehlt.