



|
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_add_historyreadline_add_historyDescriptionbool readline_add_history ( string line )readline_add_history() ajoute une ligne à l'historique.
|

