Dropped Mockery and PHP 5.3