Merge branch 'mediawiki-1.42.5-1' into 'master'
Passed
Christian Heusel
created pipeline for commit
10ed7602
, finished
For master
54 seconds, queued for 1 seconds