3 $refresh = $_GET['refresh'];
6 header("HTTP/1.1 200");
7 header("Refresh: $refresh; url=$url");
11 header("Location: $url");
12 if (isset($_GET['cors_allow_origin']))
13 header("Access-Control-Allow-Origin: " . $_GET['cors_allow_origin']);
15 $code = $_GET['code'];
18 header("HTTP/1.1 $code");