Comment 2 for bug 230030

For the record, libedit is pretty much known-broken in many ways, though it's our only option (we can't legally link PHP with libreadline, thanks to license conflicts).

If we intend to keep PHP linkes with libedit (I always had readline support disabled in the past, for this very reason), we should really look at tidying up libedit's numerous bugs.