jenkins-bot has submitted this change and it was merged. Change subject: Remove --dev composer option in travis script ......................................................................
Remove --dev composer option in travis script --dev is now the default and add --no-dev to where we perhaps don't want/need it. Change-Id: Ie7fac6fb49c52f793ea83c5a4e9fcdafb3aaa375 --- M build/travis/before_script.sh 1 file changed, 3 insertions(+), 3 deletions(-) Approvals: Jeroen De Dauw: Looks good to me, approved jenkins-bot: Verified diff --git a/build/travis/before_script.sh b/build/travis/before_script.sh index f55a7d8..ebf9c55 100755 --- a/build/travis/before_script.sh +++ b/build/travis/before_script.sh @@ -35,10 +35,10 @@ cp -r $originalDirectory WikibaseQuality cd WikibaseQuality -composer install --dev --no-interaction --prefer-source +composer install --no-interaction --prefer-source cd ../Wikibase -composer install --prefer-source +composer install --no-dev --prefer-source cd ../.. @@ -55,4 +55,4 @@ echo 'require_once __DIR__ . "/extensions/WikibaseQuality/WikibaseQuality.php";' >> LocalSettings.php echo '$wgWBClientSettings["siteGlobalID"] = "enwiki";' >> LocalSettings.php -php maintenance/update.php --quick \ No newline at end of file +php maintenance/update.php --quick -- To view, visit https://gerrit.wikimedia.org/r/250426 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ie7fac6fb49c52f793ea83c5a4e9fcdafb3aaa375 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/WikibaseQuality Gerrit-Branch: master Gerrit-Owner: Aude <[email protected]> Gerrit-Reviewer: Jeroen De Dauw <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
