readline_redisplay

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

readline_redisplay — Redraws 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: