file: 71943

This data as json

id patch_id filename
71943 15045 src/ReferencesFormatter.php