function isPuzzleDead($pid) { return getStatusForPuzzle($pid) == getDeadStatusId(); }
function displayChangePuzzleStatus($pid) { $statuses = getPuzzleStatuses(); $current = getStatusForPuzzle($pid); foreach ($statuses as $sid => $name) { echo "<input type ='radio' name='status' value='{$sid}'"; if ($sid == $current) { echo ' checked'; } echo " /> {$name}<br />"; } }