Update patch set 2
Patch Set 2:
Post-merge build succeeded.
- doxygen-publish https://integration.wikimedia.org/ci/job/doxygen-publish/265/console : SUCCESS in 7s
- phpunit-coverage-publish https://integration.wikimedia.org/ci/job/phpunit-coverage-publish/176/console : SUCCESS in 55s
Patch-set: 2