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>