jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/363807 )
Change subject: Bump Phan 0.7..0.8 for mediawiki/core ...................................................................... Bump Phan 0.7..0.8 for mediawiki/core Update mediawiki-core-php70-phan-jessie Bug: T169904 Change-Id: I3affc6b66e21710f1f311520ddbe69122f025155 --- M jjb/mediawiki.yaml 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Hashar: Looks good to me, approved jenkins-bot: Verified diff --git a/jjb/mediawiki.yaml b/jjb/mediawiki.yaml index 7d02443..d656f6b 100644 --- a/jjb/mediawiki.yaml +++ b/jjb/mediawiki.yaml @@ -443,7 +443,7 @@ dir: '$WORKSPACE/src' - shell: | cd $WORKSPACE/src - composer require etsy/phan:0.7 --prefer-dist --dev --no-progress --ansi --profile -v # todo don't hardcode version here + composer require etsy/phan:0.8 --prefer-dist --dev --no-progress --ansi --profile -v # todo don't hardcode version here PHAN=vendor/bin/phan ./tests/phan/bin/phan -m checkstyle publishers: - castor-save -- To view, visit https://gerrit.wikimedia.org/r/363807 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I3affc6b66e21710f1f311520ddbe69122f025155 Gerrit-PatchSet: 1 Gerrit-Project: integration/config Gerrit-Branch: master Gerrit-Owner: Hashar <has...@free.fr> Gerrit-Reviewer: Addshore <addshorew...@gmail.com> Gerrit-Reviewer: Hashar <has...@free.fr> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits