Fatal error: Class 'Prophecy\Exception\Doubler\DoubleException' not found in /home/zxun/public_html/module7/vendor/phpspec/prophecy/src/Prophecy/Exception/Doubler/MethodNotExtendableException.php on line 5