我有一个没有扩展名的图像文件名(假设它是image_file_name
- 注意它缺少扩展名)并且我也知道文件类型(假设文件类型是image/jpeg
)。现在是否有一个 php 函数可以返回给定类型的文件扩展名?如以下伪代码所述:
$extension = get_extension('image/jpeg'); // Will return 'jpg'
$file_name = 'image_file_name' . '.' . $extension; // Will result in $file_name = image_file_name.jpg
请注意,上图只是一个示例,文件名可以是任何文件类型,例如网页文件名或其他任何文件名。扩展名也可以是任何东西,它可以是 html、css ...等。
是否可以做到以上几点?如何?