Écrit dans l'historique

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