readline_redisplay

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

readline_redisplay — Перемалювати екран

Опис

readline_redisplay(): void

Перемальовує екран.

Список параметрів

Ця функція не має параметрів.

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

Функція не повертає значення після виконання.