<?php

$filename = $_GET['url'];
//readfile
$fileinfo = pathinfo($filename);

header('Content-type: application/x-'.$fileinfo['extension']);
header('Content-Disposition: attachment; filename='.$fileinfo['basename']);
header('Content-Length: '.filesize($filename));
ob_clean();
flush();
readfile($filename);
exit();

?>