PHPTest plugin for Mockery