Legoktm has uploaded a new change for review. https://gerrit.wikimedia.org/r/196505
Change subject: mwext-Citoid-lint --> phplint ...................................................................... mwext-Citoid-lint --> phplint Change-Id: I0421d22455e5b28e34a85511e2921f7e7c956867 --- M zuul/layout.yaml 1 file changed, 3 insertions(+), 3 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/integration/config refs/changes/05/196505/1 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: newchange Gerrit-Change-Id: I0421d22455e5b28e34a85511e2921f7e7c956867 Gerrit-PatchSet: 1 Gerrit-Project: integration/config Gerrit-Branch: master Gerrit-Owner: Legoktm <legoktm.wikipe...@gmail.com> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits