readline_redisplay()

readline_redisplay - Redraws the display

Syntax

readline_redisplay ()

Arguments

-

Description

Redraws readline to redraw the display.

Version

PHP 5.1.0

Return value

No value is returned.