[php-src] Issue #7934: Unable to use ANSI escape code in readline() prompt on Windows
| From: | cmb69 | Date: | Wed, 12 Jan 2022 14:58:56 +0000 |
| Subject: | [php-src] Issue #7934: Unable to use ANSI escape code in readline() prompt on Windows | ||
| Groups: | php.bugs | ||
| Request: | Send a blank email to php-bugs+get-238984@lists.php.net to get a copy of this message | ||
Issue: https://github.com/php/php-src/issues/7934
Comment Author: cmb69
I can confirm your findings. Thanks for the analysis.
So this doesn't look a php-src issue, but is rather wineditline problem. As such, not a bug.
I'll leave this ticket open until wineditline has been updated to 2.206, though.
> I've notified the author of wineditline about the issue.
Private communication, or is it publicly available?