[MediaWiki-commits] [Gerrit] translatewiki[master]: [BlueSpice] Remove Preferences
Raimond Spekking has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/386686 ) Change subject: [BlueSpice] Remove Preferences .. [BlueSpice] Remove Preferences https://gerrit.wikimedia.org/r/#/c/385333/ Change-Id: Idd798a8423ce30b563bec70fd6aae0812cfdeb35 --- M groups/MediaWiki/mediawiki-extensions.txt 1 file changed, 0 insertions(+), 7 deletions(-) Approvals: Raimond Spekking: Verified; Looks good to me, approved diff --git a/groups/MediaWiki/mediawiki-extensions.txt b/groups/MediaWiki/mediawiki-extensions.txt index 1754b06..04c0951 100644 --- a/groups/MediaWiki/mediawiki-extensions.txt +++ b/groups/MediaWiki/mediawiki-extensions.txt @@ -322,13 +322,6 @@ descmsg = bs-pagesvisited-desc file = BlueSpiceExtensions/PagesVisited/i18n/%CODE%.json -Blue Spice - Preferences -id = ext-bs-preferences -descmsg = bs-preferences-desc -file = BlueSpiceExtensions/Preferences/i18n/%CODE%.json -aliasfile = BlueSpiceExtensions/Preferences/includes/specials/SpecialBlueSpicePreferences.alias.php -optional = prefs-bluespice - Blue Spice - RSS Feeder id = ext-bs-rssfeeder descmsg = bs-rssfeeder-desc -- To view, visit https://gerrit.wikimedia.org/r/386686 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Idd798a8423ce30b563bec70fd6aae0812cfdeb35 Gerrit-PatchSet: 1 Gerrit-Project: translatewiki Gerrit-Branch: master Gerrit-Owner: Raimond SpekkingGerrit-Reviewer: Raimond Spekking ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] translatewiki[master]: [BlueSpice] Remove Preferences
Raimond Spekking has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/386686 ) Change subject: [BlueSpice] Remove Preferences .. [BlueSpice] Remove Preferences https://gerrit.wikimedia.org/r/#/c/385333/ Change-Id: Idd798a8423ce30b563bec70fd6aae0812cfdeb35 --- M groups/MediaWiki/mediawiki-extensions.txt 1 file changed, 0 insertions(+), 7 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/translatewiki refs/changes/86/386686/1 diff --git a/groups/MediaWiki/mediawiki-extensions.txt b/groups/MediaWiki/mediawiki-extensions.txt index 1754b06..04c0951 100644 --- a/groups/MediaWiki/mediawiki-extensions.txt +++ b/groups/MediaWiki/mediawiki-extensions.txt @@ -322,13 +322,6 @@ descmsg = bs-pagesvisited-desc file = BlueSpiceExtensions/PagesVisited/i18n/%CODE%.json -Blue Spice - Preferences -id = ext-bs-preferences -descmsg = bs-preferences-desc -file = BlueSpiceExtensions/Preferences/i18n/%CODE%.json -aliasfile = BlueSpiceExtensions/Preferences/includes/specials/SpecialBlueSpicePreferences.alias.php -optional = prefs-bluespice - Blue Spice - RSS Feeder id = ext-bs-rssfeeder descmsg = bs-rssfeeder-desc -- To view, visit https://gerrit.wikimedia.org/r/386686 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Idd798a8423ce30b563bec70fd6aae0812cfdeb35 Gerrit-PatchSet: 1 Gerrit-Project: translatewiki Gerrit-Branch: master Gerrit-Owner: Raimond Spekking___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits