readline_write_history> <readline_read_history
Last updated: Fri, 24 Feb 2012

readline_redisplay

(PHP 5 >= 5.1.0)

readline_redisplay — Redraws the display

Descrição

void readline_redisplay ( void )

Redraws readline to redraw the display.

Valor Retornado

Não há valor retornado.



User Contributed Notes
readline_redisplay
There are no user contributed notes for this page.

readline_write_history> <readline_read_history
Last updated: Fri, 24 Feb 2012