Merge branch 'mediawiki-1.42.3' into 'master'
Passed
Christian Heusel
created pipeline for commit
4cd41490
, finished
For master
55 seconds, queued for 0 seconds