(PHP 4, PHP 5, PHP 7, PHP 8)
readline_read_history — Lit l'historique
Lit une ligne de l'historique depuis le fichier filename
.
filename
Chemin vers le fichier contenant l'historique des commandes.
Version | Description |
---|---|
8.0.0 | filename est désormais nullable. |