<?php
$json_decoded = json_decode($raw_json, true);

$total_players = 0;

foreach ($json_decoded as $server)
{
    $players = $server['players_current'];

    //do other stuff here

    $total_players += $players;
}
?>