Commit: `https://github.com/php/doc-en/commit/5f0cb2451f24071abbfd5f42d96d9210605966b0` PR: `https://github.com/php/doc-en/pull/4779` **Archivos ES a actualizar** - `install/ini.xml`
Commit:
https://github.com/php/doc-en/commit/5f0cb2451f24071abbfd5f42d96d9210605966b0PR:
https://github.com/php/doc-en/pull/4779Archivos ES a actualizar
install/ini.xml