Как определить раcширения файла Закачивается через браузер файл, как с помощью PHP определить расширения файла?