title: How to filter JSON in php?
body: <p>i have this JSON</p>
  
  <pre><code>[
  {"name":"Juan","Sex":"Male","ID":"1100"},{"name":"Maria";"Sex":"Female","ID":"2513"},{"name":"Pedro";"Sex":"Male","ID":"2211"}
  ]
  </code></pre>
  
  <p>I want to get only those with this ID 2513</p>
  
  <pre><code>[
  {"name":"Maria";"Sex":"Female","ID":"2513"}
  ]
  </code></pre>