Last modified: 2013-04-07 02:23:28 UTC
https://doc.wikimedia.org/mediawiki-core/master/php/html/ Possibly related to Gerrit change #67fbfafd72.
(In reply to comment #0) > https://doc.wikimedia.org/mediawiki-core/master/php/html/ > Possibly related to Gerrit change #67fbfafd72. That's Gerrit change #53958, rather.
Not related to any change in gerrit. I deleted the https://doc.wikimedia.org/mediawiki-core/master directory while working on implementing js/ in addition to php/. The js directory was re-generated automatically on the next merged commit since that's done from the postmerge pipeline in Zuul/Jenkins. However, as we've learned by now, the Jenkins job for the php docs is apparently broken as its either not running or is broken. Moving to "Continuous integration" since this has nothing to do with MediaWiki core (the generation script in mediawiki core works fine).
See https://integration.wikimedia.org/ci/job/mediawiki-core-doxygen-publish
I've fixed the Jenkins/Zuul config for this job: https://gerrit.wikimedia.org/r/#/q/owner:Krinkle+topic:doxygen+branch:master+is:merged,n,z The next merged change in core has regenerated the documentation again: https://doc.wikimedia.org/mediawiki-core/master/php/html/