PHP file download can be introduced more_PHP tutorial

if( empty($_GET['FileName'])|| empty($_GET['FileDir'])|| empty($_GET['FileId'])) {
echo'<script> alert("Illegal connection!"); location.replace ("index.php") </script>'; exit();
}
$file_name= $_GET['FileName'];
$file_dir=$_GET['FileDir'];
$FileId=$_GET['FileId'];
$file_dir = $file_dir."/";
if (!file_exists($file_dir.$file_name)) { //Check if the file exists
echo "File not found";
exit;
} else {
$file = fopen ($file_dir . $file_name,"r"); //Open file
//Input file tag
Header("Content-type: application/octet-stream"); ​​
Header("Accept- Ranges: bytes");
Header("Accept-Length: ".filesize($file_dir . $file_name));
Header("Content-Disposition: attachment; filename=" . $file_name);
// Output file content
echo fread($file,filesize($file_dir . $file_name));
fclose($file);
exit();
}
?> ;