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.