Wikimedia Bugzilla is closed!

When users log in with an userid, links in page history, recent changes etc. are
shown with this ID as link-text. If this userid however is not very human
friendly (maybe just a number) it's difficult to immediately see who made the
changes.
This is especially true if one uses an existing authentication backend such as
LDAP where the userid might not be a common understood name.
e.g.:
my unique login ID (which I use in many other systems) in LDAP is "AK123456"
my real name (which might not be unique) is "Reinhard Brandstaedter"
my nickname is "ReinhardBrandstaedter"

With the LDAPAuthentication Plugin I can get my wiki user's details filled with
this information.
If I subscribe an article this will give my nickname
My user-page would be "AK123456"
Links in page history and changes would also be formatted as "AK123456".

I think it would be better if links to users would be formatted as RealName or
NickName. This way it's easier to find out who made the change.

This patch to includes/Linker.php does this:

*** 761,767 ****
         * @private
         */
        function userLink( $userId, $userText ) {
!               $encName = htmlspecialchars( User::whoIsReal($userId) );
                if( $userId == 0 ) {
                        $contribsPage = Title::makeTitle( NS_SPECIAL,
'Contributions' );
                        return $this->makeKnownLinkObj( $contribsPage,
--- 761,767 ----
         * @private
         */
        function userLink( $userId, $userText ) {
!               $encName = htmlspecialchars( $userText );
                if( $userId == 0 ) {
                        $contribsPage = Title::makeTitle( NS_SPECIAL,
'Contributions' );
                        return $this->makeKnownLinkObj( $contribsPage,