Making JSON_PRETTY_PRINT optional (not available in PHP 5.3)