readline_redisplay

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

readline_redisplaySolicita a readline que vuelva a mostrar la información

Descripción

readline_redisplay(): void

Solicita a readline que vuelva a mostrar la información.

Parámetros

Esta función no tiene parámetros.

Valores devueltos

No devuelve ningún valor.