• 在PHP中如何获取文件扩展名?