(PHP 4, PHP 5, PHP 7, PHP 8)
readline_add_history — Ajoute une ligne à l'historique
$prompt
Ajoute une ligne à l'historique.
prompt
La ligne à ajouter à l'historique.
Retourne toujours true.
true