Fatal error: Class 'PhpSpec\ObjectBehavior' not found in D:\xampps\htdocs\www.iedit.com.cn\vendor\phpspec\prophecy\spec\Prophecy\Doubler\Generator\ClassMirrorSpec.php on line 12