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

2020-08-02 Thread Сергей Пантелеев
I'll be happy to help too wbr, Sergey Panteleev On 3 Aug 2020, 00:30 +0300, Peter Cowburn , wrote: > > Neither, not until the edit-new box is up and running smoothly.  Volunteers > to make that happen are welcome.

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

2020-07-30 Thread Сергей Пантелеев
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, Сергей Пантелеев , wrote: >

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

2020-07-30 Thread Сергей Пантелеев
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

RE: [PHP-DEV] [RFC] [VOTE] Deprecate PHP's short open tags

2019-04-24 Thread Сергей Пантелеев
Hi, >Also imo the reason why people write now (and not in the discussion phase) >because for some time in the voting there wasn't the 2/3 majority for the 7.4 >(so no sense to clutter the list) and now in the end only 1-2 votes make the >difference. If this RFC has caused such a resonance