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, FALSE en cas d'échec.