readline_redisplay

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

readline_redisplayRedraws the display

Опис

readline_redisplay(): void

Redraws readline to redraw the display.

Параметри

У цієї функції немає параметрів.

Значення, що повертаються

Не повертає значень.