do-download.inc

<?php

/*
   This code redirects the user to the exact file to
   download, and logs the download if it's something
   we would like to know about (PHP binary or source).
*/

function get_actual_download_file($file)
{
    // Could be a normal download or a manual download file
    $possible_files = [$file => true, "manual/$file" => false];

    // Find out what is the exact file requested
    $found = false;
    foreach ($possible_files as $name => $log) {
        if (@file_exists($_SERVER['DOCUMENT_ROOT'] . '/distributions/' . $name)) {
            $found = $name;
            break;
        }
    }

    return $found;
}
// Download a file from a mirror site
function download_file($mirror, $file): void
{
    // Redirect to the particular file
    if (!headers_sent()) {
        status_header(302);
        header('Location: ' . $mirror . 'distributions/' . $file);
    } else {
        exit("Unable to serve you the requested file for download");
    }

    // Try to flush output, and make the browser really
    // download the file, even if the log server is down
    echo " ";
    flush();
}