Issue #3521792 by wim leers, longwave: PHPStan errors when developing locally: add `jangregor/phpstan-prophecy` + `composer update` to CONTRIBUTING.md