Fixes #2907

Sort servers by players in the server browser