Manuel PHP
Précédent		Suivant

readline_write_history

(PHP 4 )

readline_write_history -- Ecrit dans l'historique

Description

bool readline_write_history ( string filename)

readline_write_history() écrit filename dans l'historique.

Précédent	Sommaire	Suivant
readline_read_history	Niveau supérieur	readline