Everything

php

edit.php.net is down

php.internals

Andreas Heigl

6 years ago

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:andreas@heigl.org                  N 50°22'59.5" E 08°23'58" |
| http://andreas.heigl.org                       http://hei.gl/wiFKy7 |
+---------------------------------------------------------------------+
| http://hei.gl/root-ca                                               |
+---------------------------------------------------------------------+

Сергей Пантелеев

6 years ago

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 <andreas@heigl.org>, wrote:

Сергей Пантелеев

6 years ago

Thanks, Peter!

PR was merged.

Now, should we use https://edit-new.php.net/ or edit php.net zone like that (https://github.com/saundefined/systems/commit/955c6145933b59a67237c5257766aa1ff5ee225c)?

—
wbr
Sergey Panteleev
On 30 Jul 2020, 11:44 +0300, Сергей Пантелеев <sergey@s-panteleev.ru>, wrote:

Peter Cowburn

6 years ago

On Thu, 30 Jul 2020 at 13:30, Сергей Пантелеев <sergey@s-panteleev.ru>
wrote:

> Thanks, Peter!
>
> PR was merged.
>
> Now, should we use https://edit-new.php.net/ or edit php.net zone like
> that (
> https://github.com/saundefined/systems/commit/955c6145933b59a67237c5257766aa1ff5ee225c
> )?
>

Neither, not until the edit-new box is up and running smoothly.  Volunteers
to make that happen are welcome.

Tiffany Taylor

6 years ago

I am happy to volunteer, but I'm unsure what needs to be done, and I may
need help. :/

Tiffany

On Sun, Aug 2, 2020, 3:53 PM Peter Cowburn <petercowburn@gmail.com> wrote:

Haseeb A. Basil

6 years ago

>
> > On Thu, 30 Jul 2020 at 13:30, Сергей Пантелеев <sergey@s-panteleev.ru>
> > wrote:
> > Neither, not until the edit-new box is up and running smoothly.
> > Volunteers to make that happen are welcome.
>

I am also happy to volunteer, just tell me what needs to be done.

Regards

Сергей Пантелеев

6 years ago

I'll be happy to help too

wbr,
Sergey Panteleev
On 3 Aug 2020, 00:30 +0300, Peter Cowburn <petercowburn@gmail.com>, wrote:

Сергей Пантелеев

6 years ago

Is it possible to add me to "jump" and "edit-new" servers?

It seems that only cron scripts are left to add.

wbr,
Sergey Panteleev
On 3 Aug 2020, 08:52 +0300, Сергей Пантелеев <sergey@s-panteleev.ru>, wrote:

Haseeb A. Basil

6 years ago

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?

Сергей Пантелеев

6 years ago

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: