phpspec/prophecy — pull request #124 by whatthejeff (2014-09-07 07:58:22+00:00)
Title: Fix: required arguments without typehints marked as optional.

Required arguments without typehints allow null but should not be marked as optional.