Update patch set 5
Patch Set 5:
Post-merge build succeeded.
- https://integration.wikimedia.org/ci/job/doxygen-publish/4109/console : SUCCESS in 10s
- https://integration.wikimedia.org/ci/job/phpunit-coverage-php81-publish/178/console : SUCCESS in 17s
Patch-set: 5
Tag: autogenerated:ci-postmerge