Re: [RFC] [VOTE] Cleaning up unmaintained extensions YasuoOhgaki <yohgaki@ohgaki.net>

Hi again, On Fri, Jun 29, 2018 at 6:07 PM, Christoph M. Becker <cmbecker69@gmx.de> wrote: > On 29.06.2018 at 16:54, Andrey Andreev wrote: > >> On Fri, Jun 29, 2018 at 9:39 AM, Stanislav Malyshev <smalyshev@gmail.com> wrote: >>> >>>> Readline is the only extension in your list that I would be sad about >>>> losing. I use it every day, I guess a lot of devs do. >>> >>> It's not "losing", per se, as the code doesn't get erased, it just >>> moved >>> to PECL. All distros can build it from there just as they do now. Then >>> again, if it's super-important and doesn't have any major issues, we >>> could keep it (or any other extension) around in "community maintained" >>> status for a while. >> >> If "php -a" doesn't work without ext/readline (and I know it never >> works for me if I don't install the distro-provided php-readline >> package), then it is super-important. > > It's not about removing readline support for the interactive PHP shell, > see <https://externals.io/message/102282#102307>. > I know it's not about that, but the problem is that currently (or on 7.0.x at least) the interactive shell doesn't work without the extension. Cheers, Andrey.