id,patch_id,filename
2673,518,includes/resourceloader/ResourceLoaderStartUpModule.php
2674,518,resources/src/startup/mediawiki.js
2675,518,resources/src/startup/mediawiki.log.js