JSON convenience library written in PHP