feat: Export session results (players usernames + scores) as CSV/JSON

[mathiscapart]

Feature Request: Export session results (players + scores)

Summary

As a game manager, once a session is finished, I would like to be able to export the full leaderboard (player usernames and their scores) as a CSV or JSON file for archiving, analysis, or sharing with participants.

Currently, the results are only displayed in the UI at the end of the game (STATUS.FINISHED) and there is no way to persist or export them.

---

Proposed solution

Add an export feature accessible to the manager only at the end of the game, triggered from the STATUS.FINISHED screen.

Client-side export (simpler, no backend change needed)

• When STATUS.FINISHED is received on the manager side, include the full leaderboard (not just top 3) in the payload.
• Add an "Export results" button in the manager UI that generates and downloads a CSV/JSON file directly in the browser using a Blob.

Expected CSV output format

rank,username,points
1,Alice,8500
2,Bob,7200
3,Charlie,6100
...

[Ralex91]

Hi,

Yes, this feature is planned to be implemented in a future version.