jenkins-bot has submitted this change and it was merged. Change subject: Don't add 'suppress' to $wgLogTypes ......................................................................
Don't add 'suppress' to $wgLogTypes The value 'suppress' is already contained in $wgLogTypes by default, so this extension shouldn't add it there again. Bug: 47944 Change-Id: I850f0f179b2b681ed50655b5b1b545fb311ee25e --- M ArticleFeedbackv5.php 1 file changed, 0 insertions(+), 1 deletion(-) Approvals: Matthias Mullie: Looks good to me, approved jenkins-bot: Verified diff --git a/ArticleFeedbackv5.php b/ArticleFeedbackv5.php index 79a8737..1729bc6 100644 --- a/ArticleFeedbackv5.php +++ b/ArticleFeedbackv5.php @@ -455,7 +455,6 @@ // Logging $wgLogTypes[] = 'articlefeedbackv5'; -$wgLogTypes[] = 'suppress'; // register log handler for feedback submission $wgLogActionsHandlers['articlefeedbackv5/create'] = 'ArticleFeedbackv5LogFormatter'; -- To view, visit https://gerrit.wikimedia.org/r/61795 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I850f0f179b2b681ed50655b5b1b545fb311ee25e Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/extensions/ArticleFeedbackv5 Gerrit-Branch: master Gerrit-Owner: Petr Onderka <[email protected]> Gerrit-Reviewer: Matthias Mullie <[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
