bug_file: 519

This data as json

id	bug_patch_id	filename
519	160	wikimedia/parsoid/src/Html2Wt/Separators.php