Readline 関数
PHP マニュアル

readline_redisplay

画面を再描画する

説明

void readline_redisplay()

画面の再描画を readline に依頼します。

パラメータ

この関数にはパラメータはありません。

戻り値

値を返しません。