(PHP 4, PHP 5, PHP 7, PHP 8)
readline_write_history — Écrit dans l'historique
Écrit l'historique dans le fichier filename
.
filename
Chemin vers le fichier à sauvegarder.
Version | Description |
---|---|
8.0.0 |
filename est désormais nullable.
|