Re: [RFC] [VOTE] Cleaning up unmaintained extensions
| From: | Tim Starling | Date: | Sat, 30 Jun 2018 02:42:58 +0000 |
| Subject: | Re: [RFC] [VOTE] Cleaning up unmaintained extensions | ||
| References: | 1 2 3 4 5 | Groups: | php.internals php.internals |
| Request: | Send a blank email to internals+get-102535@lists.php.net to get a copy of this message | ||
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