Re: [PHP-DEV] Re: edit.php.net is down

[Haseeb A. Basil]

Hi,

https://edit-new.php.net/ is also down, what is the plan here? Is something
going on? Is there some work in progress to create a new platform or
something?