Change record status: 
Project: 
Introduced in branch: 
12.0.x
Introduced in version: 
12.0.0
Description: 

jangregor/phpstan-prophecy (https://github.com/Jan0707/phpstan-prophecy) was added as a dev-dependency.

This package allows resolving Prophecy mocks into their mocked types, and avoids false positives in the PHPStan baseline.

Impacts: 
Module developers
Site templates, recipes and distribution developers