Page MenuHomePhabricator

mediawiki-core-doxygen-docker broken / MediaWiki doc not generated
Closed, ResolvedPublic

Description

Due to 03078991c4408b8e4e72cc28584a9d011d9edf72

https://integration.wikimedia.org/ci/job/mediawiki-core-doxygen-docker/ breaks with:

$ 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

Details

Related Gerrit Patches:
integration/config : masterSet $wgServer for Doxygen jobs

Event Timeline

Restricted Application added a subscriber: Aklapper. · View Herald TranscriptOct 30 2019, 6:17 PM
hashar triaged this task as Unbreak Now! priority.Oct 30 2019, 6:18 PM

Easy fix: going to update the job config to add a dummy value.

Restricted Application added a subscriber: Liuxinyu970226. · View Herald TranscriptOct 30 2019, 6:18 PM

Change 547276 had a related patch set uploaded (by Hashar; owner: Hashar):
[integration/config@master] Set $wgServer for Doxygen jobs

https://gerrit.wikimedia.org/r/547276

hashar closed this task as Resolved.Oct 30 2019, 6:30 PM

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:

Changes
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 :-]

Change 547276 merged by jenkins-bot:
[integration/config@master] Set $wgServer for Doxygen jobs

https://gerrit.wikimedia.org/r/547276