file: 6307

This data as json

id	patch_id	filename
6307	1272	wikimedia/parsoid/src/Html2Wt/WikitextEscapeHandlers.php