includes/Hooks.php:1800 PhanParamSignatureRealMismatchParamType Declaration of function onResourceLoaderRegisterModules(\ResourceLoader $resourceLoader) : void should be compatible with function onResourceLoaderRegisterModules(\MediaWiki\ResourceLoader\ResourceLoader $rl) : void (parameter #1 of real signature type '\ResourceLoader' cannot replace original parameter of real signature type '\MediaWiki\ResourceLoader\ResourceLoader') defined in ../../includes/ResourceLoader/Hook/ResourceLoaderRegisterModulesHook.php:24
https://integration.wikimedia.org/ci/job/mwext-php72-phan-docker/183646/console & https://gerrit.wikimedia.org/r/c/mediawiki/extensions/WikimediaMessages/+/801187