readline_redisplay

(PHP 5 >= 5.1.0, PHP 7)

readline_redisplay — Перерисовать экран

Описание

readline_redisplay ( void ) : void

Перерисовывает экран.

Возвращаемые значения

Эта функция не возвращает значения после выполнения.