La documentation PHP fournit un bel exemple :
<?php
$file = 'monkey.gif';
if (file_exists($file)) {
header('Content-Description: File Transfer');
header('Content-Type: application/octet-stream');
header('Content-Disposition: attachment; filename='.basename($file));
header('Content-Transfer-Encoding: binary');
header('Expires: 0');
header('Cache-Control: must-revalidate');
header('Pragma: public');
header('Content-Length: ' . filesize($file));
ob_clean();
flush();
readfile($file);
exit;
}
?>
MODIFIER (Réponse au commentaire, explication)
header('Content-Description: File Transfer');
Ne pas afficher dans le navigateur, mais transférer le fichier.
header('Content-Type: application/octet-stream');
header('Content-Transfer-Encoding: binary');
Le fichier est un fichier binaire.
Les navigateurs téléchargent généralement des fichiers binaires, à moins qu'ils ne puissent les afficher.
header('Content-Disposition: attachment; filename='.basename($file));
Faites en sorte que la boîte de dialogue de téléchargement affiche le nom de fichier approprié.
Remarque :Vous pouvez utiliser n'importe quel nom de fichier.
header('Expires: 0');
header('Cache-Control: must-revalidate');
header('Pragma: public');
Le fichier ne doit pas être mis en cache par le navigateur.
Le cache peut causer des problèmes en cas de contenu dynamique.
header('Content-Length: ' . filesize($file));
Envoyez la taille de fichier correcte au navigateur,
sinon le navigateur ne peut pas estimer le temps de transfert.
ob_clean();
flush();
Assurez-vous que les en-têtes sont envoyés au navigateur avant le début du téléchargement.
readfile($file);
Envoyez le fichier au navigateur.
exit;
Terminé :)
