Required phpspec coverage extension