readline_redisplay
(PHP 5 >= 5.1.0RC1)
readline_redisplay --
Ask readline to redraw the display
Description
void
readline_redisplay ( void )
Waarschuwing |
Deze functie is op het
moment niet gedocumenteerd, alleen de lijst met argumenten is
beschikbaar. |