如何过滤上传或发布到php webserver的文件的扩展名？

$allowedExtensions = array("jpg", "png", "gif"); // 允许上传的文件扩展名
$uploadedFile = $_FILES['file']; // 假设上传文件的表单字段名为file

$originalFileName = $uploadedFile['name']; // 获取上传文件的原始文件名
$fileExtension = pathinfo($originalFileName, PATHINFO_EXTENSION); // 提取文件的扩展名

// 检查文件扩展名是否合法
if (!in_array($fileExtension, $allowedExtensions)) {
    echo "不允许上传该类型的文件";
    // 其他处理逻辑，例如记录日志或拒绝上传
} else {
    // 文件扩展名合法，可以继续处理上传文件
    move_uploaded_file($uploadedFile['tmp_name'], "uploads/" . $originalFileName);
    echo "文件上传成功";
    // 其他处理逻辑
}