Manuel
PHP
Précédent
Suivant
readline_write_history
readline_write_history -- Ecrit dans l'historique
Description
boolean
readline_write_history
( string filename)
readline_write_history(
)
écrit
filename
dans
l
'historique
.
Précédent
Sommaire
Suivant
Niveau
supérieur