I retitled the bug as even the version of PHP from the Docker image is pulled in binary form. It is not compiled from source on the user's machine.
I retitled the bug as even the version of PHP from the Docker image is pulled in binary form. It is not compiled from source on the user's machine.