file: 411705

This data as json

id patch_id filename
411705 87192 .phan/internal_stubs/redis.phan_php