gistfile1.php

<?php
if (isset($_GET["file"])) {
   $file_name = $_GET["file"];
   if (file_exists($file_name)) {
     header(”Content-type: application/x-download”);
     header(”Content-Disposition: attachment; filename=$file_name”);
     header(”Content-Transfer-Encoding: binary”);
     header(’Content-Length: ‘ . filesize($file_name));
     ob_clean();
     flush();
     readfile($file_name);
   }
}
?>