Merge "Add Special:Users as a synonym for Special:ListUsers"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 6 Apr 2019 09:34:10 +0000 (09:34 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 6 Apr 2019 09:34:10 +0000 (09:34 +0000)
languages/messages/MessagesEn.php

index f325641..86ac01a 100644 (file)
@@ -438,7 +438,7 @@ $specialPageAliases = [
        'Listgrants'                => [ 'ListGrants' ],
        'Listredirects'             => [ 'ListRedirects' ],
        'ListDuplicatedFiles'       => [ 'ListDuplicatedFiles', 'ListFileDuplicates' ],
-       'Listusers'                 => [ 'ListUsers', 'UserList' ],
+       'Listusers'                 => [ 'ListUsers', 'UserList', 'Users' ],
        'Lockdb'                    => [ 'LockDB' ],
        'Log'                       => [ 'Log', 'Logs' ],
        'Lonelypages'               => [ 'LonelyPages', 'OrphanedPages' ],