jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/404782 )
Change subject: Remove ContributionReporting, being archived ...................................................................... Remove ContributionReporting, being archived Bug: T185062 Change-Id: I7445eae975480e5351032b4e91d3cb2d62a0b9e5 --- M groups/MediaWiki/mediawiki-extensions.txt 1 file changed, 0 insertions(+), 4 deletions(-) Approvals: Raimond Spekking: Looks good to me, approved jenkins-bot: Verified diff --git a/groups/MediaWiki/mediawiki-extensions.txt b/groups/MediaWiki/mediawiki-extensions.txt index 15a13f5..720cef3 100644 --- a/groups/MediaWiki/mediawiki-extensions.txt +++ b/groups/MediaWiki/mediawiki-extensions.txt @@ -588,10 +588,6 @@ #Contest / Unused per https://bugzilla.wikimedia.org/show_bug.cgi?id=41526#c0 -Contribution Reporting -aliasfile = ContributionReporting/ContributionReporting.alias.php -ignored = contribstats-header, contribstats-footer - Contribution Scores aliasfile = ContributionScores/ContributionScores.alias.php optional = score-visualeditor-mwscoreinspector-card-midi -- To view, visit https://gerrit.wikimedia.org/r/404782 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I7445eae975480e5351032b4e91d3cb2d62a0b9e5 Gerrit-PatchSet: 1 Gerrit-Project: translatewiki Gerrit-Branch: master Gerrit-Owner: MaxSem <[email protected]> Gerrit-Reviewer: Raimond Spekking <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
