Hi, Was created a new edit box (http://edit-new.php.net/, https://github.com/php/systems/commit/c79853fe86f9e844a39bd36b7918298a4b924c5d), but login throws an error.
It fixed easy, but I have no karma to merge this fix (https://github.com/php/web-doc-editor/pull/18) As a temporary solution you can use it: http://194.67.87.221/ But it would be great if the official editor was restored — wbr Sergey Panteleev On 30 Jul 2020, 11:34 +0300, Andreas Heigl <andr...@heigl.org>, wrote: > Hey folks. > > Edit.php.net is down. And from the tweet I got not only for some hours > (https://twitter.com/arueckauer/status/1288728325331079168) > > Can either anyone with access to the system (pb11.php.net) have a look > or grant me access so that I can have a look? According to > https://wiki.php.net/systems/pb11 the following people have access: > Alexander (irker), Hannes, Michael, Martin, Philip, Rasmus, Yannick > > Even though I know that edit.php.net will become obsolete once we manage > to get the conversion from SVN to git up and running (I'm currently > struggling with http://doc.php.net/revcheck.php) it currently is the > official way to contribute to the docs. So it should be up and running IMO. > > Thanks for a short response! > > Cheers > > Andreas > > > -- > ,,, > (o o) > +---------------------------------------------------------ooO-(_)-Ooo-+ > | Andreas Heigl | > | mailto:andr...@heigl.org N 50°22'59.5" E 08°23'58" | > | http://andreas.heigl.org http://hei.gl/wiFKy7 | > +---------------------------------------------------------------------+ > | http://hei.gl/root-ca | > +---------------------------------------------------------------------+ >
