// Note: you can retrieve some extra field you added for "player" table in "dbmodel.sql" if you need it.
        $sql = "SELECT player_id id, player_score score FROM player";

        $sql = "
            SELECT
                player_id id,
                player_score score,
                player_solved_in_round solved_in_round
            FROM player
        ";

            // Gray out players who have already solved in this minigame.
            for (var player_id in gamedatas.players) {
                if (gamedatas.players[player_id].solved_in_round != null) {
                    this.disablePlayerPanel(player_id);
                }
            }