PHP通过文件路径获取文件名的实例代码