Raimond Spekking has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/393719 )
Change subject: [BlueSpice] Remove already deleted subrepo ...................................................................... [BlueSpice] Remove already deleted subrepo Change-Id: I3c1c1d2a261b59a481b2f929755ac48bc2eeca2c --- M groups/MediaWiki/mediawiki-extensions.txt 1 file changed, 0 insertions(+), 5 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 26645ed..1343bdb 100644 --- a/groups/MediaWiki/mediawiki-extensions.txt +++ b/groups/MediaWiki/mediawiki-extensions.txt @@ -182,11 +182,6 @@ aliasfile = BlueSpiceFoundation/languages/BlueSpice.Credits.alias.php id = ext-bs-credits -Blue Spice - Dashboards -id = ext-bs-dashboards -descmsg = bs-dashboards-desc -file = BlueSpiceExtensions/Dashboards/i18n/%CODE%.json - Blue Spice - Deferred id = ext-bs-deferred file = BlueSpiceFoundation/i18n/deferred/%CODE%.json -- To view, visit https://gerrit.wikimedia.org/r/393719 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I3c1c1d2a261b59a481b2f929755ac48bc2eeca2c 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
