ファイルをダウンロードする。

HTML5対応のブラウザの場合、
以下の「download」を書けばダウンロードになる。

<a href=”/xxx/yyy/zzz.pdf” download>PDF</a>

HTML5非対応のブラウザの場合、
PHPを使うことでダウンロードにすることができる。

例：PDFファイルの場合

HTMLファイル：
<a href=”/download.php”>PDF</a>
や
<a href=”/download.php?file=/xxx/yyy/zzz.pdf”>PDF</a>
など。

PHPファイル：
download.php

//ファイルを設定する。
$path= “/data/htdocs/xxx/yyy/zzz.pdf”;

(又は、$path= $_GET[‘file’];)

//ファイル名を設定する。
$fileName = “zzz.pdf”;

//ファイルのサイズを取得する。
$size = filesize($path);

//ダウンロードする。
header(“Content-Type: application/pdf”);
header(“Content-Disposition: attachment; filename=\””.$fileName.”\””);
header(“Content-Length: “.$size);
@readfile($path);