Kleiner Nachtrag:
die Schleife mit finfo kann noch performanter werdern:
$finfo = new finfo(FILEINFO_MIME);
foreach($Dokumente as $array){
$name = htmlspecialchars($array['datei']);
$mime = htmlspecialchars($finfo->file($file));
// …
}