Update patch set 1
Patch Set 1:
Post-merge build succeeded.
- https://integration.wikimedia.org/ci/job/mwext-phpunit-coverage-publish/12862/console : SUCCESS in 2m 48s
- https://integration.wikimedia.org/ci/job/mwext-codehealth-master-non-voting/57539/console : SUCCESS in 3m 59s (non-voting)
Patch-set: 1
Tag: autogenerated:ci-postmerge