readline_redisplay

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

readline_redisplay — 디스플레이를 다시 그립니다.


설명

readline_redisplay(): void

디스플레이를 다시 그리려면 readline을 다시 그립니다.


매개변수

이 함수에는 매개변수가 없습니다.


반환 값

값이 반환되지 않습니다.