id,patch_id,filename
4182,840,includes/ParamValidator/TypeDef/UserDef.php
4183,840,includes/debug/logger/LogCapturingSpi.php
4184,840,includes/parser/Parser.php
4185,840,tests/phpunit/MediaWikiIntegrationTestCase.php