A pure PHP reimplementation of PHP 5.5's JSON functions