Note that readline_add_history() will add empty strings too.
<?php
$line = readline(">>> ");
if (!empty($line)) {
readline_add_history($line);
}
?>
readline_add_history
(PHP 4, PHP 5)
readline_add_history — Ajoute une ligne à l'historique
Description
bool readline_add_history
( string
$line
)Ajoute une ligne à l'historique.
Liste de paramètres
-
line -
La ligne à ajouter à l'historique.
Valeurs de retour
Cette fonction retourne TRUE en cas de
succès ou FALSE si une erreur survient.
add a note