file: 71938

This data as json

id patch_id filename
71938 15045 src/AnchorFormatter.php