Update ServerRankingPlugin.php

updated in the core repository