proglottis/ladder — pull request #3 by gchan (2012-11-22 04:06:02+00:00)
Title: When two (or more) elo ratings are equal, order by games played (desc)

Currently on DooPlex Pool, the second-place and third-place players both have the same elo rating but the third player has played more games than the second player.

In this situation, the player who has the played the most games should be placed ahead of the aforementioned player. We have more confidence that the elo rating of player who have played the most games so they should be placed first.