"; echo htmlspecialchars($file['name']); if($file['type'] == 'dir') echo ""; ?>