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