[PHP 8.4] Mention PHP_HISTFILE env var (#4262)

Author: alexandre-daubois

features/commandline.xml

@@ -1479,11 +1479,13 @@ php > $foo[TAB]ThisIsAReallyLongVariableName
    </programlisting>
   </example>
 
-  <para>
+  <simpara>
    The interactive shell stores your history which can be accessed using the up
    and down keys. The history is saved in the
    <filename>~/.php_history</filename> file.
-  </para>
+   As of PHP 8.4.0, the path to the history file can be set using the
+   <envar>PHP_HISTFILE</envar> environment variable.
+  </simpara>
 
   <para>
    The &cli.sapi; provides