(PHP 4, PHP 5)
readline_write_history() écrit l'historique dans le fichier filename.
Hosting by: Hurra Communications GmbHGenerated: 2007-01-26 18:01:55