PHPでファイルをダウンロードさせる

集計ページみたいなんがあった。その集計ページを
CSV化したいと言われた。

■ソース
$file_name = "aaa.csv";
header('Content-Type: application/octet-stream'); //Webブラウザはそれをダウンロードするか否か問い合わせる
header('Content-Disposition: attachment; filename=' . $file_name); //ブラウザからコンテンツ($file_name)をダウンロードできるようになる
readfile($file_name); //指定したファイルから全レコード読み込み、標準出力に出力し、出力したバイト数を戻り値として返す。]