No se puede obtener el nombre de archivo remoto para file_get_contents () y luego almacenar el archivo
Quiero descargar un archivo remoto y ponerlo en el directorio de mi servidor con el mismo nombre que el original. Traté de usarfile_get_contents($url).
El problema es que el nombre del archivo no está incluido en$url, es como:www.domain.com?download=1726. Esta URL me da, por ejemplo:myfile.exe, asi que quiero usarfile_put_contents('mydir/myfile.exe');.
¿Cómo podría recuperar el nombre de archivo? Lo intentéget_headers() antes de la descarga, pero solo tengo el tamaño del archivo, la fecha de modificación y otra información, falta el nombre del archivo.