<?php function redirect(string $status): never { echo "inside\n"; exit; } redirect("x");
You have javascript disabled. You will not be able to edit any code.