以下是一个PHP实例，展示如何处理图片文件的扩展名。我们将使用一个简单的函数来检查图片文件的类型，并根据其类型返回相应的后缀。
```php
function get_image_extension($image_path) {
// 获取文件后缀
$extension = pathinfo($image_path, PATHINFO_EXTENSION);
// 检查文件类型
switch ($extension) {
case 'jpg':
case 'jpeg':
return 'jpg';
case 'png':
return 'png';
case 'gif':
return 'gif';
case 'bmp':
return 'bmp';
default:
return 'unknown';
}
}
// 示例使用
$image_paths = [
'image1.jpg',
'image2.png',
'image3.gif',
'image4.bmp',
'image5.txt'
];
// 输出结果
foreach ($image_paths as $image_path) {
echo "
