Как точно определить расширение загруженного файла $_FILES

Действительно, с помощью значения MIME типа суперглобального массива $_FILES определять тип файла не рекомендуется, так как он очень часто "лагает" и не может определить тип файла.

Рекомендую использовать для определения типа файла его расширение. То есть, определить расширение загруженного файла и в php сравнить с допустимыми. Сделать это можно:

Способ 1:

Извлечь содержание в названии файла после последней точки (это и будет расширение нашего файла):

$file_name = $_FILES['file']['name'];
$file_type = substr($file_name, strrpos($file_name, '.')+1);

strrpos – определяет позицию последнего вхождения точки (+1 следующий символ после точки)
substr – обрезает все, что идет до значения позиции, определенной функцией strrpos

Способ 2:

$file_type = pathinfo($_FILES['file']['name'], PATHINFO_EXTENSION);

а если пользователь взял и расширение файла сам указал, а файл внушительных размеров

Гостьа если пользователь взял и расширение файла сам указал, а файл внушительных размеров
$max_file_size = 5;
if($_FILES['file']['size'] > $max_file_size*1024*1024){
echo 'Размер файла превышает '.$max_file_size.' Мб!';
...
exit;
}

а если пользователь взял и расширение файла сам указал, а внутри скрипт?