PHP: effettuare un redirect HTTP

In PHP è semplice effettuare un redirect HTTP.

Possiamo scrivere il seguente codice PHP:

function my_http_redirect($url, $code = '302') {
    $header_str = 'HTTP/1.1';
    $header_msgs = [
        '302' => 'Found',
        '301' => 'Moved Permanently'
    ];

    if(!filter_var($url, FILTER_VALIDATE_URL)) {
        exit;
    }
    $header_code = intval($code);

    if(!filter_var($header_code, FILTER_VALIDATE_INT)) {
        exit;
    }

    if(!isset($header_msgs[$code])) {
        exit;
    }

    $header_str .= ' ' . $code . ' ' . $header_msgs[$code];
    header($header_str);
    header('Location: ' . $url);
    exit;
}