Как зная MIME types в php получить расширение файла?

Question

[MasterCopipaster]

Всем привет, возник такой вопрос, у меня на диске есть неизвестный файл который называется как file
без расширения в конце имени тоесть не file.jpeg а просто file
я могу определить его MIME тип
Как мне получить зная MIME тип его расширения с помощью php? тоесть получить этоту самую часть .jpeg ???

Comments

[Saboteur]

Mime type не всегда связан с расширением файла, хотя для большинства можно предположить.

Делаете таблицу соответствий, для четко известных файлов можно прописать расширение:
https://developer.mozilla.org/en-US/docs/Web/HTTP/...

[Дмитрий]

Если это картинка, то создайте из содержимого ресурс картинки и сохраните в любом удобном расширении

Answer 1

[ThunderCat]

https://www.google.com/search?q=mime+type+get+exte...

Answer 2

[Александр]

<?php

$types = [
	'image/jpeg' => [
		'jpg',
		'jpeg',
		'jpe'
	],
	'image/gif' => 'gif'
];

function getExtensionByMimeType(string $type): ?string
{
	global $types;
	
	if (!isset($types[$type])) {
		return null;
	}
	
	if (is_array($types[$type])) {
		return $types[$type][0];
	}
	
	return $types[$type];
}

var_dump(getExtensionByMimeType('image/gif')); // gif

Для составления массива $types можно использовать этот список