(PHP 4, PHP 5, PHP 7)
readline_read_history — Lit l'historique
$filename
] )
Lit une ligne de l'historique depuis le fichier filename.
filenameChemin vers le fichier contenant l'historique des commandes.
Cette fonction retourne TRUE en cas de
succès ou FALSE si une erreur survient.