PHP 5.5.20 is available

readline_redisplay

(PHP 5 >= 5.1.0)

readline_redisplayRedraws the display

Descrizione

void readline_redisplay ( void )

Redraws readline to redraw the display.

Valori restituiti

Nessun valore viene restituito.

add a note add a note

User Contributed Notes

There are no user contributed notes for this page.
To Top