file: 71930

This data as json

id patch_id filename
71930 15043 src/FootnoteMarkFormatter.php