Re: Re: edit.php.net is down
| From: | Sergey Panteleev | Date: | Mon, 31 Aug 2020 20:47:10 +0000 |
| Subject: | Re: Re: edit.php.net is down | ||
| References: | 1 2 3 4 5 6 7 8 9 | Groups: | php.doc php.internals |
| Request: | Send a blank email to internals+get-111748@lists.php.net to get a copy of this message | ||
Hi,
the editor has been restored, you can use https://edit.php.net
wbr,
Sergey Panteleev
On 31 Aug 2020, 23:44 +0300, Haseeb A. Basil <haseeb.basil@gmail.com>, wrote:
>
> 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?