Un code à la va-vite. C'est optimisable, je pense particulièrement à file_get_contents() qui est à proscrire si tu dois gérer des fichiers très lourds (à faire plutôt avec un fopen). Aussi, attention à l'aspect sécurité avant de traiter ce qu'il y a dans le GET (échapper ce qui ne doit pas passer etc). Mais sinon, ça devrait déjà t'inspirer :
download.php
1 2 3 4 5 6 7
| <?php
$fichier = $_GET['fichier']; // on récupère le nom du fichier
$data = file_get_contents($fichier);// on récupère le contenu
header('Content-type: application/force-download'); // pour forcer le téléchargement du fichier
header("Content-Disposition:attachment; filename=$fichier"); // lui donner un nom
echo $data;
?> |
Le lien :
<a href="download.php?fichier=mon_fichier.xml">Télécharger le fichier</a>
ps : rien à voir avec la demande mais ... cela n'a rien à voir avec HTML5. Donc le tag n'a rien à faire là
Partager