[2019] Player rankings gone

We plan to show player's rank in random in one of the coming versions. More details to follow.

Exactly that. There is no rank of random battles. We're planning to show ranked star.