[git fast commit] 02. Feb 2019 - 16:09:37

This commit is contained in:
Yannik Schmidt
2019-02-02 16:09:37 +01:00
parent c7fe5e8f17
commit ff99de216c
3 changed files with 20 additions and 15 deletions

View File

@@ -28,7 +28,7 @@ def get_player_rank(p):
return "N/A"
def dump_rating(top=0, forceMeanSort=False, enforceWhitelist=None):
def dumpRatings(top=0, forceMeanSort=False, enforceWhitelist=None):
global known_players
ret = ""
if forceMeanSort: