Re: Setup dev environment for contributing to php

Hi Rowan, Thank you for the info. I'll try to update it if I can. On Wed, Feb 20, 2019 at 7:15 PM Rowan Collins <rowan.collins@gmail.com> wrote: > On Wed, 20 Feb 2019 at 14:10, Alexandru Pătrănescu <drealecs@gmail.com> > wrote: > >> Maybe I'm too used with having a Vagrantfile that I'm searching things too >> specifically. >> > > > Rasmus set up a Vagrantfile around the time 7.0 was released, which should > still work I think, though the helper scripts haven't been updated for 7.2 > and later, as far as I can see. > > See https://app.vagrantup.com/rasmus/boxes/php7dev/ and > https://github.com/rlerdorf/php7dev/ > > Regards, > -- > Rowan Collins > [IMSoP] >