Improved PHP 5.3 compatibility (lack of JSON_PRETTY_PRINT)