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