From 4650c1fe8e600b8ff71b9197676831fdcbee3e3c Mon Sep 17 00:00:00 2001 From: Raimond Spekking Date: Tue, 12 Aug 2008 11:38:17 +0000 Subject: [PATCH] Use formatNum for another number --- includes/specials/SpecialPreferences.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/includes/specials/SpecialPreferences.php b/includes/specials/SpecialPreferences.php index f7a4a875ec..3c7416ef0f 100644 --- a/includes/specials/SpecialPreferences.php +++ b/includes/specials/SpecialPreferences.php @@ -626,7 +626,7 @@ class PreferencesForm { $userInformationHtml = $this->tableRow( wfMsgHtml( 'username' ), htmlspecialchars( $wgUser->getName() ) ) . - $this->tableRow( wfMsgHtml( 'uid' ), htmlspecialchars( $wgUser->getId() ) ) . + $this->tableRow( wfMsgHtml( 'uid' ), $wgLang->formatNum( htmlspecialchars( $wgUser->getId() ) ) ). $this->tableRow( wfMsgExt( 'prefs-memberingroups', array( 'parseinline' ), count( $userEffectiveGroupsArray ) ), -- 2.20.1