$ docker run ... docker-registry.wikimedia.org/releng/doxygen:0.5.0-s1 maintenance/mwdocgen.php --output /log/build --version master $wgServer must be set in LocalSettings.php. See <a href="https://www.mediawiki.org/wiki/Manual:$wgServer">https://www.mediawiki.org/wiki/Manual:$wgServer</a>.Build step 'Execute shell' marked build as failure
None of the mediawiki-core-doxygen-docker-publish builds have been affected.
On mediawiki-core-doxygen-docker the issue was easy to find. The job uses the Jenkins git plugin and polls the scm. It thus keep track of new changes for each builds. The first failing build had:
Disable $wgServer autodetection to prevent cache poisoning attacks (detail)
I have verified that all builds solely got triggered for master, so we have not missed any documentation updates on other branches.
The doc is regenerating now :-]