<?php
    $url = $_GET['url'];
    $refresh = $_GET['refresh'];
    
    if (isset($refresh)) {
        header("HTTP/1.1 200");
        header("Refresh: $refresh; url=$url");
        return;
    }

    $code = $_GET['code'];
    if (!isset($code))
        $code = 302;
    header("HTTP/1.1 $code");
    header("Location: $url");
?>