Remove prophecy as dep and related SA plugins

Author: DanielBadura

composer.json

@@ -39,13 +39,11 @@
     "ext-pdo_sqlite": "~8.2.0 || ~8.3.0 || ~8.4.0",
     "doctrine/orm": "^2.18.0 || ^3.0.0",
     "infection/infection": "^0.29.12",
-    "jangregor/phpstan-prophecy": "^2.0",
     "league/commonmark": "^2.6.1",
     "patchlevel/coding-standard": "^1.3.0",
     "patchlevel/event-sourcing-psalm-plugin": "^3.1.0",
     "phpat/phpat": "^0.11.3",
     "phpbench/phpbench": "^1.4.1",
-    "phpspec/prophecy-phpunit": "^2.3.0",
     "phpstan/phpstan": "^2.1.11",
     "phpstan/phpstan-phpunit": "^2.0",
     "phpunit/phpunit": "^11.5.15",

composer.lock

@@ -1,7 +1,6 @@
 includes:
 	- phpstan-baseline.neon
 	- vendor/phpstan/phpstan-phpunit/extension.neon
-	- vendor/jangregor/phpstan-prophecy/extension.neon
 	- vendor/phpat/phpat/extension.neon
 
 parameters: