Re: [MediaWiki-Core] Setup.php speed improvements and service registry