Naive JSON Parser in PHP