(PHP 4, PHP 5)
readline_write_history — Écrit dans l'historique
Écrit l'historique dans le fichier filename.
Chemin vers le fichier à sauvegarder.
Cette fonction retourne TRUE en cas de succès ou FALSE si une erreur survient.