- remove json_encode() options incompatible with php 5.3