PHP.nl

readline_redisplay

Laatst bijgewerkt:

readline_redisplay

Redraws the display

void **readline_redisplay**

Redraws readline to redraw the display.

return.void