file: 71963

This data as json

id patch_id filename
71963 15052 src/FootnoteMarkFormatter.php