file: 8205

This data as json

id patch_id filename
8205 1824 wikimedia/parsoid/src/Html2Wt/Separators.php