jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/330135 )
Change subject: Add php-parallel-lint ...................................................................... Add php-parallel-lint Change-Id: I9d6d6a09a0285e59eb20b3eb835a7981b4ab4c82 --- M composer.json 1 file changed, 7 insertions(+), 1 deletion(-) Approvals: jenkins-bot: Verified Thiemo Mättig (WMDE): Looks good to me, approved diff --git a/composer.json b/composer.json index 58040e5..6819f06 100644 --- a/composer.json +++ b/composer.json @@ -21,7 +21,8 @@ }, "require-dev": { "phpunit/phpunit": "^3.7.37|~4.5", - "satooshi/php-coveralls": "master-dev" + "satooshi/php-coveralls": "master-dev", + "jakub-onderka/php-parallel-lint": "0.9.2" }, "autoload": { "psr-4": { @@ -34,5 +35,10 @@ "WikibaseQualityConstraintsHooks.php", "maintenance/UpdateConstraintsTable.php" ] + }, + "scripts": { + "test": [ + "parallel-lint . --exclude vendor" + ] } } -- To view, visit https://gerrit.wikimedia.org/r/330135 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I9d6d6a09a0285e59eb20b3eb835a7981b4ab4c82 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/WikibaseQualityConstraints Gerrit-Branch: master Gerrit-Owner: Umherirrender <umherirrender_de...@web.de> Gerrit-Reviewer: Thiemo Mättig (WMDE) <thiemo.maet...@wikimedia.de> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits