Improve Docker build process, remove --disable-segfault-error#5552

cweiske merged 2 commits into

php:masterphp/doc-en:masterfrom

jordikroon:build/docker-busterjordikroon/doc-en:build/docker-busterCopy head branch name to clipboard