file: 6312

This data as json

id patch_id filename
6312 1272 wikimedia/parsoid/src/Utils/WTUtils.php