Hi again, On Fri, Jun 29, 2018 at 6:07 PM, Christoph M. Becker <cmbecke...@gmx.de> wrote: > On 29.06.2018 at 16:54, Andrey Andreev wrote: > >> On Fri, Jun 29, 2018 at 9:39 AM, Stanislav Malyshev <smalys...@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. -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
