The JSON query language implemented in PHP