PHP でファイルの属性を得る

ファイル名を入力すると、ファイルのサイズ、更新日付などを表示します。

---

<?php



function showInfo($path){

    echo "Path: " . realpath($path) . "\n";

    echo "Type: " . filetype($path) . "\nSize: " . filesize($path) . "\n";

    echo "Modified: " . date('Y-m-d H:i:s',filemtime($path));

    echo "\nAccessed: " .date('Y-m-d H:i:s', fileatime($path));

}



echo "input file name:";

$a = trim(fgets(STDIN));

showInfo($a);



?>

---