agoragames/leaderboard — pull request #46 by czarneckid (2014-07-28 14:46:42+00:00)
Title: Add support for tie handling in leaderboards.

* TieRankingLeaderboard: Members with the same score are given
the same rank.
* CompetitionRankingLeaderboard: Members with the same score will
be given the same rank. A gap is left in the ranking numbers
depending on where the next differing score falls.