Paladox has uploaded a new change for review.
https://gerrit.wikimedia.org/r/270937
Change subject: [translatewiki] Switch from php53lint to php55lint
......................................................................
[translatewiki] Switch from php53lint to php55lint
Change-Id: I07e0125ae34d58df97997524bdb39d9e69fb50f1
---
M zuul/layout.yaml
1 file changed, 1 insertion(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/integration/config
refs/changes/37/270937/1
diff --git a/zuul/layout.yaml b/zuul/layout.yaml
index 5d5d88a..e357a2d 100644
--- a/zuul/layout.yaml
+++ b/zuul/layout.yaml
@@ -2409,7 +2409,7 @@
- name: translatewiki
check: &translatewiki_jobs
- - php53lint
+ - php55lint
- translatewiki-puppet-validate
- translatewiki-puppetlint-lenient
- translatewiki-puppetlint-strict
--
To view, visit https://gerrit.wikimedia.org/r/270937
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I07e0125ae34d58df97997524bdb39d9e69fb50f1
Gerrit-PatchSet: 1
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Paladox <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
