readline_read_history
(PHP 4, PHP 5, PHP 7, PHP 8)
readline_read_history — ヒストリを読み込む
パラメータ
filename-
コマンドヒストリを含むファイルへのパス。
変更履歴
| バージョン | 説明 |
|---|---|
| 8.0.0 |
filename は、nullable になりました。
|
＋add a note
User Contributed Notes 1 note
↑ and ↓ to navigate •
Enter to select •
Esc to close
Press Enter without
selection to search using Google