Question

There is a file on server : files/1
Its name and extension is stored in a database. (For example: a.jpg)
Is it possible to download that file as a.jpg not as 1? If yes, how?

In other words:

<a href='/files/1'>file</a>

should download file 1‘s content with the name a.jpg

Answer 1

example from php.net manual:

<?php
$file = 'monkey.gif';

if (file_exists($file)) {
    header('Content-Description: File Transfer');
    header('Content-Type: application/octet-stream');
    header('Content-Disposition: attachment; filename='.basename($file));
    header('Content-Transfer-Encoding: binary');
    header('Expires: 0');
    header('Cache-Control: must-revalidate');
    header('Pragma: public');
    header('Content-Length: ' . filesize($file));
    ob_clean();
    flush();
    readfile($file);
    exit;
}
?>