rules json_pretty_print fix for older php