PHPUnit mocks: simple syntax