Note that the first line in the history file must contain the string: _HiStOrY_V2_
Else it wont work.
(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.
|