A JSON minifier and uncommenter written in PHP