Description
PHPUnit's built-in Prophecy integration is deprecated and will be removed soon. The replacement package phpspec/prophecy-phpunit however only works with PHPUnit 9.

Maybe we can have simple-phpunit install that package if we're running PHPUnit 9 and a yet to be defined environment variable is set.