phpspec/prophecy — pull request #47 by ciaranmcnulty (2013-08-26 22:20:24+00:00)
Title: Changing shouldNotBeenCalled to shouldNotHaveBeenCalled

A minor change to reflect more natural English usage