Note that readline_add_history() will add empty strings too.
<?php
$line = readline(">>> ");
if (!empty($line)) {
readline_add_history($line);
}
?>
(PHP 4, PHP 5, PHP 7)
readline_add_history — Dodaje wiersz do historii
$wiersz
) : boolFunkcja ta dodaje wiersz do historii wiersza poleceń.
wiersz
Wiersz, który zostanie dodany do historii.
Zwraca TRUE
w przypadku powodzenia, FALSE
w
przypadku błędu.