readline_redisplay

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

readline_redisplay — 画面を再描画する

説明

function readline_redisplay(): void

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

この関数は、PHP のビルドに使われた readline ライブラリがこの機能をサポートしている 場合にのみ使用できます。Windows では使用できません。

パラメータ

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

戻り値

値を返しません。

参考

+add a note

User Contributed Notes

There are no user contributed notes for this page.