Remove user id from Special:Preferences
authorKunal Mehta <legoktm@gmail.com>
Mon, 12 May 2014 04:48:18 +0000 (21:48 -0700)
committerOri.livneh <ori@wikimedia.org>
Tue, 13 May 2014 03:39:51 +0000 (03:39 +0000)
commitf0ece08caf99376db8eb089073acbc6e4c29f9c5
tree8e8f908017d1ce98122ba7302923d78644a6cd82
parenta2f6b62aa937a3298d0a5b09bd44467124f527ca
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
includes/Preferences.php
languages/i18n/en.json