php获取文件文档大小函数