Add PHP PIE for installing extensions to docs#2521

jnoordsij wants to merge 3 commits intodocker-library:masterdocker-library/docs:masterfrom

jnoordsij:add-php-piejnoordsij/docker-library-docs:add-php-pieCopy head branch name to clipboard