jenkins-bot has submitted this change and it was merged. Change subject: Update tags ......................................................................
Update tags Support URLs that need to remain untranslated. Related Change-Id: I5d888de8d5b204ddaa4306a93acd6cf9a53f521e Change-Id: If7612eeafa057e57efe190a94fc21f71703a3653 --- M groups/MediaWiki/mediawiki-extensions.txt 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Siebrand: Looks good to me, approved jenkins-bot: Verified diff --git a/groups/MediaWiki/mediawiki-extensions.txt b/groups/MediaWiki/mediawiki-extensions.txt index d16f141..8dbc0a7 100644 --- a/groups/MediaWiki/mediawiki-extensions.txt +++ b/groups/MediaWiki/mediawiki-extensions.txt @@ -174,7 +174,7 @@ id = ext-bs file = BlueSpiceFoundation/i18n/core/%CODE%.json optional = prefs-base -ignored = specialpages-group-bluespice +ignored = specialpages-group-bluespice, bs-navigation-contact-url, bs-navigation-instructions-url, bs-navigation-support-url Blue Spice - About Blue Spice id = ext-bs-aboutbluespice -- To view, visit https://gerrit.wikimedia.org/r/264285 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: If7612eeafa057e57efe190a94fc21f71703a3653 Gerrit-PatchSet: 1 Gerrit-Project: translatewiki Gerrit-Branch: master Gerrit-Owner: Siebrand <[email protected]> Gerrit-Reviewer: Siebrand <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
