Manuel
PHP
Précédent
Suivant
readline_add_history
readline_add_history -- Ajoute une ligne à l'historique
Description
void
readline_add_history
( string line)
readline_add_history(
)
ajoute
une
ligne
à
l
'historique
.
Précédent
Sommaire
Suivant
Readline
(
GNU
)
Niveau
supérieur