header()
function header(string $header, bool $replace = true, int $response_code = 0): void
Sends a raw HTTP header.
Parameters:
$header(string)$replace(bool), defaulttrue, optional$response_code(int), default0, optional
Returns: void
No examples yet — check examples/ and showcases/ for usage patterns.
Internals
For how header is implemented in the compiler, see the internals page.