Online PHP editor | refs for qNHfJ

<?php $craneids_json = ' { "craneIDs": [{ "craneID": "R01" }, { "craneID": "R02" }, { "craneID": "R04" }, { "craneID": "R08" }, { "craneID": "R09" }, { "craneID": "R10" }, { "craneID": "R16" }, { "craneID": "TC01" }, { "craneID": "T06" }, { "craneID": "T08" }, { "craneID": "T08/2" }, { "craneID": "T12" }] } '; $craneids_array = json_decode($craneids_json); $i =0; while (isset($craneids_array->craneIDs[$i])) { print_r($craneids_array->craneIDs[$i]->craneID); echo "<br />"; $i++; }