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]