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, PHP 8)
readline_add_history — Ajoute une ligne à l'historique
prompt
La ligne à ajouter à l'historique.
Cette fonction retourne true
en cas de succès ou false
si une erreur survient.