Manuel PHP
Précédent
Suivant
readline_write_history
(PHP 4 , PHP 5)
readline_write_history -- Ecrit dans l'historique
Description
bool
readline_write_history
( [string filename] )
readline_write_history()
écrit l'historique dans le fichier
filename
.
Précédent
Sommaire
Suivant
readline_redisplay
Niveau supérieur
readline