Le 13/02/2019 à 12:51, Christoph M. Becker a écrit : > It should be pointed out > that readline_list_history() doesn't work with libedit, and would be > completely removed.
This function is available in recent libedit version (3.1+) So I'm working on a patch to enable it (can also be later added in 7.2+) Remi -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
