readline_redisplay

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

readline_redisplay — Redraws the display

Description

function readline_redisplay(): void

Redraws readline to redraw the display.

This function is only available if the readline library PHP was built against supports it. It is not available on Windows.

Parameters

This function has no parameters.

Return Values

No value is returned.

See Also