jenkins-bot has submitted this change and it was merged.
Change subject: Deduplicate input in Special:Contributions
......................................................................
Deduplicate input in Special:Contributions
Bug: T120542
Change-Id: I129bf2cf826439b873c3bf590f784ea24ab6181d
---
M includes/specials/SpecialContributions.php
1 file changed, 2 insertions(+), 1 deletion(-)
Approvals:
Florianschmidtwelzow: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/specials/SpecialContributions.php
b/includes/specials/SpecialContributions.php
index 5f7c587..71d2b23 100644
--- a/includes/specials/SpecialContributions.php
+++ b/includes/specials/SpecialContributions.php
@@ -465,7 +465,8 @@
'month',
'topOnly',
'newOnly',
- 'associated'
+ 'associated',
+ 'tagfilter'
);
foreach ( $this->opts as $name => $value ) {
--
To view, visit https://gerrit.wikimedia.org/r/257169
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I129bf2cf826439b873c3bf590f784ea24ab6181d
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Ltrlg <ltrlg...@gmail.com>
Gerrit-Reviewer: Florianschmidtwelzow <florian.schmidt.stargatewis...@gmail.com>
Gerrit-Reviewer: TTO <at.li...@live.com.au>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
