Re: [RFC] [VOTE] Cleaning up unmaintained extensions
| From: | Yasuo Ohgaki | Date: | Sat, 30 Jun 2018 23:56:16 +0000 |
| Subject: | Re: [RFC] [VOTE] Cleaning up unmaintained extensions | ||
| References: | 1 2 3 4 5 6 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-102545@lists.php.net to get a copy of this message | ||
On Sat, Jun 30, 2018 at 11:42 AM, Tim Starling <tstarling@wikimedia.org>
wrote:
> 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.
>
./configure --without-readline
makes CLI binary with broken "-a" support as you know.
I'm suggesting libedit capability for CLI binary "without" readline module.
i.e. Statically compiled libedit support in CLI binary.
--
Yasuo Ohgaki