To display player rankings, create an endpoint at
api/leaderboard.php that returns JSON in the format shown below,
then replace this empty state with the rendering code from
servers.html as a reference.
Expected format: [{"rank":1,"name":"Player","value":"19,595 kills"}, ...]