php Download file

<?php
$mat = $_GET["matricule"];
$file_url = "testfile_".$mat.".txt";
header('Content-Type: application/octet-stream');
header("Content-Transfer-Encoding: Binary");
header("Content-disposition: attachment; filename=\"" . basename($file_url) . "\"");
readfile($file_url);
?>