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_read_historyreadline_read_historyDescriptionbool readline_read_history ( [string filename] )
readline_read_history() lit une ligne de l'historique depuis le fichier
|
Web
Ajouter ce moteur
