readline_redisplay
(PHP 5 >= 5.1.0RC1)
readline_redisplay --
Ask readline to redraw the display
Description
void
readline_redisplay ( void )
Aviso |
Esta función
no está documentada actualmente, solamente se encuentra
disponible la lista de parámetros. |