From a9b1c215766602d41edf3ca078d8107516ab7ea6 Mon Sep 17 00:00:00 2001
From: ui424 <srb5467@gmail.com>
Date: Tue, 15 Jul 2025 17:19:41 +0100
Subject: [PATCH] Add INI_ALL to ini.xml in manual

While the mentioned INI_PERDIR and INI_USER are essentially subsets of INI_ALL, INI_ALL was not explicitly mentioned on this page.
I think adding it to the list will make it significantly clearer.
If this is accepted, I can also change the other languages if needed.
---
 install/ini.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/install/ini.xml b/install/ini.xml
index 0fbf03a05951..ad57d144622a 100644
--- a/install/ini.xml
+++ b/install/ini.xml
@@ -218,7 +218,7 @@ $ PHP_INI_SCAN_DIR=/usr/local/etc/php.d: php
   </simpara>
   <simpara>
    Only INI settings with the
-   modes <constant>INI_PERDIR</constant> and
+   modes <constant>INI_ALL</constant>, <constant>INI_PERDIR</constant> and
    <constant>INI_USER</constant> will be recognized in .user.ini-style INI
    files.
   </simpara>