Merge pull request #309811 from jmpunkt/fix-phpdocumentor
phpdocumentor: add missing build input
authored by Pol Dellaiera and committed by GitHub 2 years ago 5e141ace d582c5fe