diff --git a/src/contact.php b/src/contact.php index fcc93eb44..c43984aa8 100644 --- a/src/contact.php +++ b/src/contact.php @@ -5555,6 +5555,8 @@ function assign_review($pid, $reviewer_cid, $type, $extra = []) { return $reviewId; } else if ($oldtype === 0) { $round = $round ?? $this->conf->assignment_round($type === REVIEW_EXTERNAL); + assert($round !== null); // `null` should not happen + $round = $round ?? 0; if (($new_requester = $extra["requester_contact"] ?? null)) { $new_requester_cid = $new_requester->contactId; }