PHP: как правильно обрабатывать расширение файла на практике