PHP Получение расширения файла

Если вам понадобилось получить расширение файла при помощи php, то приведенный ниже код позволит решить эту простейшую задачу.