#php #file-extension
#php #расширение файла
Вопрос:
Я хочу получить расширение файла файла, однако имя файла увеличивается, поэтому у меня может быть file_01_XX.jpg … как я могу получить расширение файла, где я не знаю полного имени файла, но знаю его начало?
Если бы вы могли мне помочь, это было бы здорово. Заранее большое спасибо.
Ответ №1:
Вы можете использовать pathinfo
функцию, подобную этой:
$parts = pathinfo('your file name');
echo $parts['extension'];
Я хочу получить расширение файла файла, однако имя файла
увеличивается, поэтому у меня может быть file_01_XX.jpg … как я могу получить
расширение файла, где я не знаю полного имени файла, но знаю
его начало?
Каким бы ни было имя файла, это даст вам расширение 🙂