jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/405731 )
Change subject: Update php-coveralls
......................................................................
Update php-coveralls
There are two things going on here. Firstly, the binary was renamed from
coveralls to php-coveralls, which we need to account for in our Travis
script. However, this binary cannot actually be found in the
satooshi/php-coveralls package – composer prints a warning about that.
I’m not sure what the php-coveralls folks have done here, but in any
event, using the new package name php-coveralls/php-coveralls seems to
fix the problem (it was apparently renamed at some point as well).
Bug: T165617
Change-Id: I7ee5100d447176acbeeae3c50af5c304ef688e55
---
M build/travis/after_script.sh
M composer.json
2 files changed, 2 insertions(+), 2 deletions(-)
Approvals:
jenkins-bot: Verified
Thiemo Kreuz (WMDE): Looks good to me, approved
diff --git a/build/travis/after_script.sh b/build/travis/after_script.sh
index 1b74a26..a37904a 100755
--- a/build/travis/after_script.sh
+++ b/build/travis/after_script.sh
@@ -2,4 +2,4 @@
cd ../wiki/extensions/WikibaseQualityConstraints
-php vendor/bin/coveralls -v
+php vendor/bin/php-coveralls -v
diff --git a/composer.json b/composer.json
index c836b1d..d5bf7b2 100644
--- a/composer.json
+++ b/composer.json
@@ -31,7 +31,7 @@
"jakub-onderka/php-console-highlighter": "0.3.2",
"jakub-onderka/php-parallel-lint": "0.9.2",
"phpunit/phpunit": "~4.8",
- "satooshi/php-coveralls": "master-dev",
+ "php-coveralls/php-coveralls": "master-dev",
"wikibase/wikibase-codesniffer": "^0.2.0",
"mediawiki/minus-x": "0.2.1"
},
--
To view, visit https://gerrit.wikimedia.org/r/405731
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I7ee5100d447176acbeeae3c50af5c304ef688e55
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/WikibaseQualityConstraints
Gerrit-Branch: master
Gerrit-Owner: Lucas Werkmeister (WMDE) <lucas.werkmeis...@wikimedia.de>
Gerrit-Reviewer: Thiemo Kreuz (WMDE) <thiemo.kr...@wikimedia.de>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
