« readline_read_history
readline_write_history »
PHP Manual
Readline 関数
画面を再描画する
readline_redisplay
(PHP 5 >= 5.1.0, PHP 7, PHP 8)
readline_redisplay
—
画面を再描画する
説明
readline_redisplay
( ) :
void
画面の再描画を readline に依頼します。
返り値
値を返しません。