[Sync EN] Fix typo #527

Closed

Labels

bot

opened

on Apr 27, 2026

PR: https://github.com/php/doc-en/pull/5513 (2026-04-26)

Archivos ES a actualizar

appendices/ini.core.xml

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests