phpspec prophecy Prophecy/autoload.p