jenkins-bot has submitted this change and it was merged. Change subject: Skip all MediaWiki extensions ......................................................................
Skip all MediaWiki extensions Should save a considerable amount of time. Change-Id: I890127cd5d7508e684990f34a2bbcf8e8fe96d12 --- M bin/update-externals 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Siebrand: Looks good to me, approved jenkins-bot: Verified diff --git a/bin/update-externals b/bin/update-externals index d9679ae..b2eb265 100755 --- a/bin/update-externals +++ b/bin/update-externals @@ -17,7 +17,7 @@ echo "Created message index" echo "Process message changes..." -php $WIKI/extensions/Translate/scripts/processMessageChanges.php --quiet +php $WIKI/extensions/Translate/scripts/processMessageChanges.php --quiet --skipgroup=ext-* echo "Processed message changes" echo "Go to https://translatewiki.net/wiki/Special:ManageMessageGroups for the last bits" -- To view, visit https://gerrit.wikimedia.org/r/89694 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I890127cd5d7508e684990f34a2bbcf8e8fe96d12 Gerrit-PatchSet: 1 Gerrit-Project: translatewiki Gerrit-Branch: master Gerrit-Owner: Siebrand <siebr...@wikimedia.org> Gerrit-Reviewer: Siebrand <siebr...@wikimedia.org> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits