Fatal error: Uncaught Error: Class "Prophecy\Exception\Doubler\DoubleException" not found in C:\laragon\www\utilitario_xxx\vendor\phpspec\prophecy\src\Prophecy\Exception\Doubler\MethodNotExtendableException.php:5 Stack trace: #0 {main} thrown in C:\laragon\www\utilitario_xxx\vendor\phpspec\prophecy\src\Prophecy\Exception\Doubler\MethodNotExtendableException.php on line 5