Porting per PHP 5.3:
- JSON_PRETTY_PRINT non è supportato, macro aggiunta se manca