readline_redisplay

(PHP 5 >= 5.1.0, PHP 7)

readline_redisplayRedraws the display

설명

void readline_redisplay ( void )

Redraws readline to redraw the display.

반환값

값을 반환하지 않습니다.

add a note add a note

User Contributed Notes

There are no user contributed notes for this page.
To Top