Как вывести изображение с определённым названием, но неизвестным расширением (jpg/png)?

Question

[vladislav997]

Подскажите, как вывести изображение с определённым названием, но неизвестным расширением (jpg/png)? На данный момент вывожу только jpg так:

echo '<img src="users/'.$user->folder.'/cover_user.jpg">';

т.е. название файла всегда такое: cover_user, а вот расширение может быть как jpg так и png, как это сделать?

Comments

[Дмитрий]

Уточните вопрос.
Вы не знаете какое расширение у файла в папке?
Так проверьте наличие файла с обоими расширениями

[vladislav997]

Дмитрий, что уточнить, вопрос в заголовке

[Дмитрий]

Это поток сознания а не вопрос

Answer 1

[John Didact]

Ну по сути, cover_user.jpg - это и есть название. А users/dirname/cover_user.jpg - это относительный путь к файлу. Как сказал офанатевший, храни изображение в едином типе или без .расширение, просто mime в заголовке соответствующий отдавай.

Answer 2

[FanatPHP]

Не надо спрачшивать как поставить костыть. Этим вы оскорбляете чувства отвечающих.

Надо сразу делать нормально. или конвертировать все картинки в единый формат, или сохранять без расширения.