file: 71908

This data as json

id patch_id filename
71908 15040 src/FootnoteMarkFormatter.php