Merge "Make the title of Special:UserRights more generic"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 14 Mar 2017 15:27:56 +0000 (15:27 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 14 Mar 2017 15:27:56 +0000 (15:27 +0000)
languages/i18n/en.json

index 2816f31..61948ff 100644 (file)
        "prefs-help-prefershttps": "This preference will take effect on your next login.",
        "prefswarning-warning": "You've made changes to your preferences that have not been saved yet.\nIf you leave this page without clicking \"$1\" your preferences will not be updated.",
        "prefs-tabs-navigation-hint": "Tip: You can use the left and right arrow keys to navigate between the tabs in the tabs list.",
-       "userrights": "User rights management",
+       "userrights": "User rights",
        "userrights-summary": "",
        "userrights-lookup-user": "Select a user",
        "userrights-user-editname": "Enter a username:",