(PHP 4, PHP 5)
readline_add_history — Ajoute une ligne à l'historique
Ajoute une ligne à l'historique.
La ligne à ajouter à l'historique.
Cette fonction retourne TRUE en cas de succès, FALSE en cas d'échec.