Update specs for phpspec2