Remove user id from Special:Preferences

Dating back all the way to r15, it serves no useful purpose
as users typically do not need to know their own user id.
If they really want to, they can easily look it up using the
API.

Bug: 58626
Change-Id: Ib146abb8b579bc9a3dac601aff8e2818b2ed49e4

diff --git a/includes/Preferences.php b/includes/Preferences.php
index 13e94dd..1f1b7dd 100644 (file)
--- a/includes/Preferences.php
+++ b/includes/Preferences.php
@@ -213,13 +213,6 @@ class Preferences {
                        'section' => 'personal/info',
                );
 
-               $defaultPreferences['userid'] = array(
-                       'type' => 'info',
-                       'label-message' => array( 'uid', $userName ),
-                       'default' => $user->getId(),
-                       'section' => 'personal/info',
-               );
-
                # Get groups to which the user belongs
                $userEffectiveGroups = $user->getEffectiveGroups();
                $userGroups = $userMembers = array();

diff --git a/languages/i18n/en.json b/languages/i18n/en.json
index 1c617f7..399c932 100644 (file)
--- a/languages/i18n/en.json
+++ b/languages/i18n/en.json
@@ -988,7 +988,6 @@
        "prefs-emailconfirm-label": "Email confirmation:",
        "youremail": "Email:",
        "username": "{{GENDER:$1|Username}}:",
-       "uid": "{{GENDER:$1|User}} ID:",
        "prefs-memberingroups": "{{GENDER:$2|Member}} of {{PLURAL:$1|group|groups}}:",
        "prefs-memberingroups-type": "$1",
        "prefs-registration": "Registration time:",