Parsing JSON with json_decode in PHP

Question

This is the JSON data I get from our ticket-system. I would like to parse it with PHP and save the data in a database to create statistics and a dashboard so everyone can see how many tickets are open and the latest closed tickets. I can read some of the data but not everything.

{  
    "address":"belgium",
    "workers":{  
        "peter":{  
            "worker":"peter",
            "open_close_time":"45.6 T/h",
            "closed_tickets":841,
            "open_tickets":7,
            "last_checkin":1498768133,
            "days_too_late":0
        },
        "mark":{  
            "worker":"mark",
            "open_close_time":"45.9 T/h",
            "closed_tickets":764,
            "open_tickets":2,
            "last_checkin":1498768189,
            "days_too_late":0
        },
        "walter":{  
            "worker":"walter",
            "open_close_time":"20.0 T/h",
            "closed_tickets":595,
            "open_tickets":4,
            "last_checkin":1498767862,
            "days_too_late":0
        }
    },
    "total_tickets":2213,
    "tickets":[  
        {  
            "id":2906444760,
            "client":"297",
            "processed":0
        },
        {  
            "id":2260,
            "client":"121",
            "processed":0
        },
        {  
            "id":2424,
            "client":"45",
            "processed":0
        }
    ],
    "last_closed_tickets":[  
        {  
            "id":2259,
            "client":"341",
            "closed_on":"2017-06-25T10:11:00.000Z"
        },
        {  
            "id":2258,
            "client":"48",
            "closed_on":"2017-06-20T18:37:03.000Z"
        }
    ],
    "settings":{  
        "address":"belgium",
        "email":"",
        "daily_stats":0
    },
    "open_close_time":"161.1 T/h",
    "avgopen_close_time":123298,
    "ticket_time":"27.1 T/h",
    "stats":{  
        "time":1498768200087,
        "newest_ticket":1498768189000,
        "closed_tickets":2200,
        "open_tickets":13,
        "active_workers":3
    },
    "avg_paid_tickets":64.55,
    "avg_afterservice_tickets":35.45
}

This is the PHP code I tried to get the names of the worker but this doesn't work.

<?php
$string = file_get_contents("example.json");
$json = json_decode($string, true);
echo $json['address']; 
foreach($json->workers->new as $entry) {
    echo $entry->worker;
}
?>

If I try it like here below it works but then I've got to change the code everytime another employee starts.

echo $json['workers']['mark']['closed_tickets'];

Answer 1

<?php
$string = file_get_contents("example.json");
$json = json_decode($string, true);
foreach($json['workers'] as $entry){
       echo $entry['worker'] . " has " . $entry['open_tickets'] . " tickets" . "\n"; 
}
?>