permitted('users_view_ips')) { echo '"Forbidden"'; exit; } echo json_hostname(trim($_GET['ip'] ?? ''));