Merge pull request #309337 from drupol/build-support/php/remove-unused-parameter
build-support/php: remove obsolete parameters
authored by Pol Dellaiera and committed by GitHub 2 years ago 8a50cbb3 0810c18b