文件类型和大小
$filename=filetype("H:\DataBase\Labs\week11");
$filesize=filesize("H:\DataBase\Labs\week11");
echo "文件类型:".$filename."文件大小".$filesize;
echo "";
$filename=filetype("H:\DataBase\Labs\week11\lab7.sql");
$filesize=filesize("H:\DataBase\Labs\week11\lab7.sql");
echo "文件类型:".$filename."文件大小".$filesize;
?>
访问和修改时间
filetime()函数
获取文件的上次访问时间
filectime()函数
获取文件上次被修改的时间,是指对文件inode中的数据的任何改变,包括改变权限、所有者、组或者其它inode特定的信息。
filemtime()函数
返回文件上次被修改的时间,是指对文件内容的修改,特别是以字节为单位的文件大小哦的改变。
$filename="H:\DataBase\Labs\week11";
echo "$filename was last accessed: ".date("F d Y H:i:s.",fileatime($filename));
echo "";
echo "$filename was last changed: ".date("F d Y H:i:s.",filectime($filename));
echo "";
echo "$filename was last modifiled: ".date("F d Y H:i:s.",filemtime($filename));
echo "";
?>