readline_write_history
(PHP 4, PHP 5)
readline_write_history — Écrit dans l'historique
Description
bool readline_write_history
([ string
$filename
] )
Écrit l'historique dans le fichier filename
.
Liste de paramètres
-
filename
-
Chemin vers le fichier à sauvegarder.
Valeurs de retour
Cette fonction retourne TRUE
en cas de
succès ou FALSE
si une erreur survient.