readline_redisplay

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

readline_redisplayRedraws the display

Descrizione

function readline_redisplay(): void

Redraws readline to redraw the display.

This function is only available if the readline library PHP was built against supports it. It is not available on Windows.

Elenco dei parametri

Questa funzione non contiene parametri.

Valori restituiti

Nessun valore viene restituito.

Vedere anche:

add a note

User Contributed Notes

There are no user contributed notes for this page.