mwext-doxygen-publish -> /Vector/php/
mwext-node10-docs-docker-publish -> /mediawiki-skins-Vector/js/
I mildly prefer the latter, especially in the case of conflicts. Thoughts?
mwext-doxygen-publish -> /Vector/php/
mwext-node10-docs-docker-publish -> /mediawiki-skins-Vector/js/
I mildly prefer the latter, especially in the case of conflicts. Thoughts?
Change 574563 had a related patch set uploaded (by Jforrester; owner: Jforrester):
[integration/config@master] jjb: Make mwext-doxygen-publish publish to DOC_PROJECT not DOC_BASENAME
Change 574563 merged by jenkins-bot:
[integration/config@master] jjb: Make mwext-doxygen-publish publish to DOC_PROJECT not DOC_BASENAME
Mentioned in SAL (#wikimedia-releng) [2020-03-13T18:46:50Z] <James_F> jjb: Make mwext-doxygen-publish publish to DOC_PROJECT not DOC_BASENAME T246042
Change 579611 had a related patch set uploaded (by Jforrester; owner: Jforrester):
[integration/docroot@master] Follow-up 6a37f7f: Update doxygen publish paths
Change 579611 merged by jenkins-bot:
[integration/docroot@master] Follow-up 6a37f7f: Update doxygen publish paths