server->player as $player) { echo $player->name, '
', $player->score, '
', $player->ping, '
'; } ?>