Manuel PHP
Précédent		Suivant

readline_read_history

(PHP 4 )

readline_read_history -- Lit l'historique

Description

bool readline_read_history ( string filename)

readline_read_history() lit une ligne de l'historique.

Précédent	Sommaire	Suivant
readline_list_history	Niveau supérieur	readline_write_history