readline_redisplay

(PHP 5 >= 5.1.0, PHP 7, PHP 8)

readline_redisplayRedraws the display

Descrizione

readline_redisplay(): void

Redraws readline to redraw the display.

Elenco dei parametri

Questa funzione non contiene parametri.

Valori restituiti

Nessun valore viene restituito.

add a note

User Contributed Notes

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