[Sync EN] Improve Docker build process, remove --disable-segfault-error #614

Closed

Labels

bot

opened

on May 13, 2026

PR: https://github.com/php/doc-en/pull/5552 (2026-05-12)

Archivos ES a actualizar

.docker/Dockerfile
Makefile

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests