Merge PHP_EXTRA_* into the places they're used#1208

yosifkit merged 1 commit into

docker-library:masterdocker-library/php:masterfrom

infosiftr:extra-extrainfosiftr/php:extra-extraCopy head branch name to clipboard