title: I want to be able to extract all property values for a property in JSON response, and add resulting values to a string (in PHP)
body: <p>I want to be able to extract all property values for the "STID" property in JSON response, and add them to a string (i.e. 1279,1280, etc.) in PHP.</p>
  
  <pre><code>{ "tickets": { "ticket": { "STID": 1279, "CompanyID": 1000, "Status": 4, "Summary": "Things are broken", "Level": 2, "Closed": 0, "UserID": 34544, "TicketCode": 20130119-1279 } "ticket": { "STID": 1280, "CompanyID": 1000, "Status": 4, "Summary": "Things are broken", "Level": 2, "Closed": 0, "UserID": 34544, "TicketCode": 20130119-1279 } "ticket": { "STID": 1281, "CompanyID": 1000, "Status": 4, "Summary": "Things are broken", "Level": 2, "Closed": 0, "UserID": 34544, "TicketCode": 20130119-1279 } "ticket": { "STID": 1282, "CompanyID": 1000, "Status": 4, "Summary": "Things are broken", "Level": 2, "Closed": 0, "UserID": 34544, "TicketCode": 20130119-1279 } }
  </code></pre>