| Resultats | readline_write_history | Contact |
Manuel PHP
   |
|
Table : .readline add history.readline callback handler install .readline callback handler remove .readline callback read char .readline clear history .readline completion function .readline info .readline list history .readline on new line .readline read history .readline redisplay .readline write history .readline |
readline_write_historyreadline_write_historyDescriptionbool readline_write_history ( [string filename] )
readline_write_history() écrit l'historique dans le fichier
|
Ajouter ce moteur