file: 9386

This data as json

id	patch_id	filename
9386	2058	maintenance/mediawiki.Title/generatePhpCharToUpperMappings.php