readline_redisplay

(PHP 5 >= 5.1.0, PHP 7)

readline_redisplay — Redibuja la vista

Descripción

readline_redisplay ( void ) : void

Redibuja readline para volver a dibujar la vista.

Valores devueltos

No devuelve ningún valor.