file: 71894

This data as json

id patch_id filename
71894 15037 src/FootnoteMarkFormatter.php