Descargar Archivo según nombre

[petit89]

Entonces lo que tienes que hacer es, suponiendo que quieres descargar un pdf y el PDF tiene el mismo nombre que ingresará el usuario:

Código PHP:

if($_POST){
$numero = $_POST['numero'];
$ruta = "tu/ruta/de/archivos"; //no cierres con barra
 
if($numero == 123456789) { //si llevara guion seria entre comillas "123456-789"
 
$enlace = $ruta."/".$numero.".pdf";//aqui cambias la extension como quieras
header ("Content-Disposition: attachment; filename=".$numero."pdf");//extension
header ("Content-Type: application/octet-stream");
header ("Content-Length: ".filesize($enlace));
readfile($enlace); //aqui se fuerza la descarga
 
}
}