$start_player_no = (($minigame - 1) % self::getPlayersNumber()) + 1;

        $start_player_no = $this->getStartPlayerNo($minigame);

    }
    /** Return the `player_id` of the player that is start player in the given
     * mini-game. */
    function getStartPlayerId($minigame)
    {
        $start_player_no = $this->getStartPlayerNo($minigame);
        $sql = "SELECT player_id FROM player WHERE player_no = $start_player_no";
        return self::getUniqueValueFromDB($sql);

    /** Return the `player_no` of the player that is start player in the given
     * mini-game. */
    function getStartPlayerNo($minigame)
    {
        return (($minigame - 1) % self::getPlayersNumber()) + 1;
    }

        $next_player_no = (($minigame - 1) % self::getPlayersNumber()) + 1;

        $next_player_no = $this->getStartPlayerNo($minigame);

        // A round (within this minigame) is over if the (potential) next player
        // has `player_no` == current minigame number.
        $player_after_id = self::getPlayerAfter($active_player_id);
        $sql = "SELECT player_no FROM player WHERE player_id = $player_after_id";
        $round_over = self::getUniqueValueFromDB($sql) == $minigame;

        // Look for the next 'unsolved' player to activate. If we get to (or
        // skip over) the current mini-game's start player, then the current
        // round is over.
        $round_over = false;
        $start_player_id = $this->getStartPlayerId($minigame);
        $next_player_id = $active_player_id;
        do {
            $next_player_id = self::getPlayerAfter($next_player_id);
            if ($round_over || $next_player_id == $start_player_id) $round_over = true;
        } while (!in_array($next_player_id, $unsolved_player_ids));

        // Look for the next 'unsolved' player to activate.
        do {
            $next_active_player_id = self::activeNextPlayer();
        } while (!in_array($next_active_player_id, $unsolved_player_ids));

        self::giveExtraTime($next_active_player_id);

        $this->gamestate->changeActivePlayer($next_player_id);
        self::giveExtraTime($next_player_id);