PDFなどの大量な資料を掲載する場合、
各ファイル毎にサイズを調べて記述するのが面倒だと思います。
そこで、ファイルアドレスから自動的にサイズや更新日を取得する方法をご紹介いたします。
ファイルサイズ取得関数
<?php function DownloadSize($file) { $size = filesize($file); $sizes = Array('バイト', 'KB', 'MB', 'GB', 'TB', 'PB', 'EB'); $ext = $sizes[0]; for ($i=1; (($i < count($sizes)) && ($size >= 1024)); $i++) { $size = $size / 1024; $ext = $sizes[$i]; } return round($size, 2).$ext; } ?>
使い方
<a href="hoge.pdf">hogehoge</a> PDF:<?php echo DownloadSize("hoge.pdf"); ?> (※ファイルサイズ:<?php echo DownloadSize("sample.jpg"); ?>)
<?php // ファイルの最終更新日の取得と表示 $last = date("Y年m月d日", filemtime($file)); echo "ファイル最終更新日:$last"; ?>
コメント