On 30/06/18 11:44, Yasuo Ohgaki wrote: > readline has license issue. I miss it but I wouldn't object for removing it. > Let's use libedit for CLI by default and always. > Issue may be who is going to do this. If nobody volunteers, I may do this.
The discussion is about the readline extension, which includes support for both libedit and the GNU Readline library. You can't use libedit without the readline extension. -- Tim Starling -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
