<?php // fichier script.php //date actuelle $date = gmdate('D, d M Y H:i:s');
header("Content-Type: $mime"); //Ici par exemple c'est pour un fichier XML, a changer en fonction du type mime du fichier voulu. header("Content-Disposition: attachment; filename=$fichier"); header('Last-Modified: '. $date . ' GMT'); header('Expires: ' . $date); //header specifique IE :s parce que sinon il aime pas if(preg_match('/msie|(microsoft internet explorer)/i', $_SERVER['HTTP_USER_AGENT'])){ header('Cache-Control: must-revalidate, post-check=0, pre-check=0'); header('Pragma: public'); }else{ header('Pragma: no-cache'); }
readfile($fichier); exit(); ?>
Vous pouvez créé différentes page php avec les codes suivant :