(PHP 4, PHP 5, PHP 7)
readline_add_history — Ajoute une ligne à l'historique
$line
) : boolAjoute une ligne à l'historique.
lineLa ligne à ajouter à l'historique.
Cette fonction retourne TRUE en cas de succès ou FALSE si une erreur survient.