jenkins-bot has submitted this change and it was merged. Change subject: mwext-Citoid-lint --> phplint ......................................................................
mwext-Citoid-lint --> phplint Change-Id: I0421d22455e5b28e34a85511e2921f7e7c956867 --- M zuul/layout.yaml 1 file changed, 3 insertions(+), 3 deletions(-) Approvals: Legoktm: Looks good to me, approved jenkins-bot: Verified diff --git a/zuul/layout.yaml b/zuul/layout.yaml index 8f27b19..a13ecfe 100644 --- a/zuul/layout.yaml +++ b/zuul/layout.yaml @@ -3001,17 +3001,17 @@ - name: mediawiki/extensions/Citoid check: - - mwext-Citoid-lint + - phplint - php-composer-validate test: - - mwext-Citoid-lint + - phplint - mwext-Citoid-testextension-hhvm - mwext-Citoid-testextension-zend - mwext-Citoid-npm - php-composer-validate gate-and-submit: - mediawiki-gate - - mwext-Citoid-lint + - phplint - mwext-Citoid-testextension-hhvm - mwext-Citoid-testextension-zend - mwext-Citoid-npm -- To view, visit https://gerrit.wikimedia.org/r/196505 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I0421d22455e5b28e34a85511e2921f7e7c956867 Gerrit-PatchSet: 1 Gerrit-Project: integration/config Gerrit-Branch: master Gerrit-Owner: Legoktm <legoktm.wikipe...@gmail.com> Gerrit-Reviewer: Hashar <has...@free.fr> Gerrit-Reviewer: Legoktm <legoktm.wikipe...@gmail.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits