jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/366307 )
Change subject: RCFilters: proper group name for user experience level
......................................................................
RCFilters: proper group name for user experience level
It's "User registration and experience",
not "Experience registration and experience".
Bug: T165160
Change-Id: Ie28de2ace687acb0cdd2a4d9c5de1158be3647e8
---
M languages/i18n/en.json
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Catrope: Looks good to me, approved
jenkins-bot: Verified
diff --git a/languages/i18n/en.json b/languages/i18n/en.json
index e0ac829..4ddda34 100644
--- a/languages/i18n/en.json
+++ b/languages/i18n/en.json
@@ -1391,7 +1391,7 @@
"rcfilters-filter-editsbyself-description": "Your own contributions.",
"rcfilters-filter-editsbyother-label": "Changes by others",
"rcfilters-filter-editsbyother-description": "All changes except your
own.",
- "rcfilters-filtergroup-userExpLevel": "Experience registration and
experience",
+ "rcfilters-filtergroup-userExpLevel": "User registration and
experience",
"rcfilters-filter-user-experience-level-registered-label": "Registered",
"rcfilters-filter-user-experience-level-registered-description":
"Logged-in editors.",
"rcfilters-filter-user-experience-level-unregistered-label":
"Unregistered",
--
To view, visit https://gerrit.wikimedia.org/r/366307
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ie28de2ace687acb0cdd2a4d9c5de1158be3647e8
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Sbisson <[email protected]>
Gerrit-Reviewer: Catrope <[email protected]>
Gerrit-Reviewer: Siebrand <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
