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

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>. -- Christoph M. Becker