' data-type='' data-mime=''> )" href="" title="">"; echo htmlspecialchars($file["name"]); if($file["type"] == "dir") echo ""; ?>