そのまんま!
PHPマニュアル
前のページ
次のページ
readline_redisplay
(PHP 5 >= 5.1.0RC1)
readline_redisplay -- 画面を再描画する
説明
void
readline_redisplay
( void )
画面の再描画を readline に依頼します。
返り値
値を返しません。
前のページ
ホーム
次のページ
readline_read_history
上に戻る
readline_write_history