add json pretty print support to PHP 5.3