[Sync EN] Add INI_ALL to ini.xml in manual (#4779)

[github-actions]

Commit: https://github.com/php/doc-en/commit/5f0cb2451f24071abbfd5f42d96d9210605966b0
PR: https://github.com/php/doc-en/pull/4779

Zu aktualisierende DE-Dateien

• install/ini.xml