Для того, чтобы узнать расширение файла в PHP, можно использовать функцию pathinfo(). Она возвращает массив, содержащий информацию о пути к файлу, включая расширение файла. Например:

$path = '/path/to/file.txt';
$extension = pathinfo($path, PATHINFO_EXTENSION);
echo $extension; // выведет 'txt'

Если же нужно узнать расширение файла, который был загружен на сервер, то можно использовать метод getClientOriginalExtension() объекта UploadedFile:

$file = $request->file('file');
$extension = $file->getClientOriginalExtension();
echo $extension; // выведет расширение загруженного файла