[MediaWiki-commits] [Gerrit] mediawiki.conf: Remove unused $currentExt and ZUUL_PROJECT e... - change (integration/jenkins)
jenkins-bot has submitted this change and it was merged. Change subject: mediawiki.conf: Remove unused $currentExt and ZUUL_PROJECT extraction .. mediawiki.conf: Remove unused $currentExt and ZUUL_PROJECT extraction
[MediaWiki-commits] [Gerrit] mediawiki.conf: Remove unused $currentExt and ZUUL_PROJECT e... - change (integration/jenkins)
Krinkle has uploaded a new change for review. https://gerrit.wikimedia.org/r/200743 Change subject: mediawiki.conf: Remove unused $currentExt and ZUUL_PROJECT extraction .. mediawiki.conf: Remove unused $currentExt and