Raimond Spekking has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/395594 )
Change subject: [BlueSpice] Remove module prepared for deletion ...................................................................... [BlueSpice] Remove module prepared for deletion https://gerrit.wikimedia.org/r/#/c/394300/ Change-Id: Ib533666802b133ea997f2f158037e655cc45d252 --- M groups/MediaWiki/mediawiki-extensions.txt 1 file changed, 0 insertions(+), 9 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 37e095e..033b01b 100644 --- a/groups/MediaWiki/mediawiki-extensions.txt +++ b/groups/MediaWiki/mediawiki-extensions.txt @@ -189,9 +189,6 @@ aliasfile = BlueSpiceFoundation/languages/BlueSpice.Diagnostics.alias.php id = ext-bs-diagnostics -# Not added per request of maintainer, change-Id: Ie0eee3b702e8632d3edab1831985ff07f9df94bd -# Blue Spice - examples - BoilerPlate - Blue Spice - ExtJS file = BlueSpiceFoundation/i18n/extjs/%CODE%.json id = ext-bs-extjs @@ -203,12 +200,6 @@ Blue Spice - Filerepo file = BlueSpiceFoundation/i18n/filerepo/%CODE%.json id = ext-bs-filerepo - -Blue Spice - Flexiskin -id = ext-bs-flexiskin -descmsg = bs-flexiskin-desc -file = BlueSpiceExtensions/Flexiskin/i18n/%CODE%.json -aliasfile = BlueSpiceExtensions/Flexiskin/includes/specials/SpecialFlexiskin.alias.php Blue Spice - Hide Title id = ext-bs-hidetitle -- To view, visit https://gerrit.wikimedia.org/r/395594 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ib533666802b133ea997f2f158037e655cc45d252 Gerrit-PatchSet: 1 Gerrit-Project: translatewiki Gerrit-Branch: master Gerrit-Owner: Raimond Spekking <[email protected]> Gerrit-Reviewer: Raimond Spekking <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
