Legoktm has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/325876 )
Change subject: phan: Switch to dev-master, 0.6.0 is too old
......................................................................
phan: Switch to dev-master, 0.6.0 is too old
Change-Id: I192c15471e7ef4185c9d143141f0b3f3a302f933
---
M jjb/mediawiki.yaml
1 file changed, 1 insertion(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/integration/config
refs/changes/76/325876/1
diff --git a/jjb/mediawiki.yaml b/jjb/mediawiki.yaml
index e456394..cf444a8 100644
--- a/jjb/mediawiki.yaml
+++ b/jjb/mediawiki.yaml
@@ -484,7 +484,7 @@
dir: '$WORKSPACE/src'
- shell: |
cd $WORKSPACE/src
- composer require etsy/phan:0.6.0 --dev # todo don't hardcode version
here
+ composer require etsy/phan:dev-master --prefer-source --dev # todo
don't hardcode version here
PHAN=vendor/bin/phan ./tests/phan/bin/phan
publishers:
- castor-save
--
To view, visit https://gerrit.wikimedia.org/r/325876
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I192c15471e7ef4185c9d143141f0b3f3a302f933
Gerrit-PatchSet: 1
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Legoktm <lego...@member.fsf.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
