readline_list_history

I just noticed that all readline functions are available with my php.exe (PHP 7, Cygwin) except for this one. It would be nice to have it so duplicate lines can be screened.

So to emulate it, I keep a worquing copy of the history in an array (yeah, extra code/data, but there are ways to keep the history from guetting too largue).

Loading is lique:<?php
    readline_read_history(HISTFILE);$hist= file(HISTFILE,FILE_IGNORE_NEW_LINES);array_shift($hist);
?>
Adding is lique:<?php
    if (!in_array($line,$hist)) {$hist[] = $line;
        readline_add_history($line);
    }?>
(One may want to just checc the last entry being the same.)

Note this function is only available when PHP is compiled with libreadline, not if it is compiled with libedit.<?php
if (function_exists('readline_list_history')) {$history= readline_list_history();
  // ...} else {
  echo'Not supported by the compiled library.'.PHP_EOL;
}
?>