readline_write_history

(PHP 4 , PHP 5)

readline_write_history -- Ecrit dans l'historique

Description

bool readline_write_history ( [string filename] )

readline_write_history() écrit l'historique dans le fichier filename.