From 441aeae3dec6ee1d63e6442fe65401a95202150a Mon Sep 17 00:00:00 2001 From: Alexandre Daubois Date: Fri, 6 Dec 2024 12:36:48 +0100 Subject: [PATCH 1/2] [PHP 8.4] Mention `PHP_HISTFILE` env var --- features/commandline.xml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/features/commandline.xml b/features/commandline.xml index 3f6f354762c8..dd4b4a215ba2 100644 --- a/features/commandline.xml +++ b/features/commandline.xml @@ -1479,11 +1479,13 @@ php > $foo[TAB]ThisIsAReallyLongVariableName - + The interactive shell stores your history which can be accessed using the up and down keys. The history is saved in the ~/.php_history file. - + As of PHP 8.4.0, the path to the history file can be set using the + PHP_HISTFILE environment variable. + The &cli.sapi; provides From f89f2c2416d875b31bf1a75a3905fb82f698da9d Mon Sep 17 00:00:00 2001 From: Gina Peter Banyard Date: Fri, 6 Dec 2024 21:03:46 +0000 Subject: [PATCH 2/2] Fix some markup issues --- features/commandline.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/features/commandline.xml b/features/commandline.xml index dd4b4a215ba2..47856477d818 100644 --- a/features/commandline.xml +++ b/features/commandline.xml @@ -1484,7 +1484,7 @@ php > $foo[TAB]ThisIsAReallyLongVariableName and down keys. The history is saved in the ~/.php_history file. As of PHP 8.4.0, the path to the history file can be set using the - PHP_HISTFILE environment variable. + PHP_HISTFILE environment variable.