php下载文件类型,php – 如何获取要下载的文件的MIME类型？

我必须点击链接下载列出的文件,因为我使用了下面的脚本,但是当文件被下载时,它无法确定下载文件的扩展名.那么,如何获取要下载的文件的MIME类型？ _请帮忙…

$filename = $_GET['val'];

// Fetch the file info.

$filePath = $_SERVER['DOCUMENT_ROOT'] . "dfms/images/uploads/".$filename;

if(file_exists($filePath)) {

echo $fileName = basename($filePath);

$fileSize = filesize($filePath);

// Output headers.

header("Cache-Control: private");

header("Content-Type: application/octet");

header("Content-Length: ".$fileSize);

header("Content-Disposition: attachment; filename=".$fileName);

// Output file.

readfile ($filePath);

exit();

}

else {

die('The provided file path is not valid.');

}