jenkins-bot has submitted this change and it was merged. Change subject: Remove UserDailyContribs - was archived in I3f8f6851 ......................................................................
Remove UserDailyContribs - was archived in I3f8f6851 Change-Id: Ibd1f728463e60b70124b199b114df41b67b968f6 --- M TranslatewikiSettings.php 1 file changed, 0 insertions(+), 1 deletion(-) Approvals: Nikerabbit: Looks good to me, approved Nemo bis: Looks good to me, but someone else must approve jenkins-bot: Verified diff --git a/TranslatewikiSettings.php b/TranslatewikiSettings.php index 7e62085..65749af 100644 --- a/TranslatewikiSettings.php +++ b/TranslatewikiSettings.php @@ -220,7 +220,6 @@ require_once "$EXT/CleanChanges/CleanChanges.php"; $wgCCUserFilter = true; $wgCCTrailerFilter = true; -require_once "$EXT/UserDailyContribs/UserDailyContribs.php"; $wgNamespacesToBeSearchedDefault[NS_MAIN] = true; $wgNamespacesToBeSearchedDefault[NS_MEDIAWIKI] = true; -- To view, visit https://gerrit.wikimedia.org/r/261177 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ibd1f728463e60b70124b199b114df41b67b968f6 Gerrit-PatchSet: 2 Gerrit-Project: translatewiki Gerrit-Branch: master Gerrit-Owner: Nikerabbit <[email protected]> Gerrit-Reviewer: Nemo bis <[email protected]> Gerrit-Reviewer: Nikerabbit <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
