readline_write_history

(PHP 4, PHP 5, PHP 7)

readline_write_history — Écrit dans l'historique

Description

readline_write_history ([ string $filename ] ) : bool

É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.