Je vais peut-etre dire des betises, mais j'y vais quand meme :
Il me semble que les navigateurs remplacent les extensions des fichiers telechargés en fonction du type MIME de celui-ci.
Ces reglages sont dépendant du navigateur. Donc, si tu fais un lien comme ça, je pense pas que tu puisse changer l'extension.
Par contre, tu peux faire un script php genre download.php qui s'utiliserais comme ça :
<a href="download.php?fichier=toto.ext">Toto</a>
Et dans ce script PHP :
- tu envoies des entetes de fichiers avec un type MIME qui colle avec ton fichier (il me semble qu'il y a des types "generiques" ou "inconnus" pour ce genre de cas)
- tu envoies l'ensemble du fichier
Je suis pas sûr de ces infos, mais il me semble que c'est une piste serieuse
Partager