file: 71941

This data as json

id patch_id filename
71941 15045 src/FootnoteMarkFormatter.php