On Wed, Jul 19, 2017 at 1:07 PM, Mathias Grimm <mathiasgr...@gmail.com> wrote: > I was briefly asking Sara about it and as she pointed out it is likely a > big project but I think we can do something about it. > One thing I should have mentioned on twitter was: https://wiki.php.net/web/mirror
That'll get you a locally running web-php instance though it's not ideal for iterative development against the git repo without some massaging. As to the actual hosts: There are (I believe) two hosts actually administered by @php.net folk: us1.php.net and us2.php.net, others (AIUI) are run by third parties and not under our control. The PHP version on these hosts is, comically, not the lastest-and-greatest. I'm fairly confident it's not even consistently 7.0+ so whatever you write needs to take that into account (particularly given the status of third-party mirrors). -Sara -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
