On Wed, 20 Feb 2019 at 14:10, Alexandru Pătrănescu <dreal...@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]
