From 69bfc1868ea863e7e607c269fa7305bb014963b0 Mon Sep 17 00:00:00 2001
From: Shish <shish@shishnet.org>
Date: Fri, 5 Mar 2010 03:46:29 +0000
Subject: [PATCH] show user ID number

---
 ext/user/theme.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ext/user/theme.php b/ext/user/theme.php
index e4275a19..749a71d6 100644
--- a/ext/user/theme.php
+++ b/ext/user/theme.php
@@ -133,6 +133,7 @@ class UserPageTheme extends Themelet {
 	public function display_user_page(User $duser, $stats) {
 		global $page, $user;
 		assert(is_array($stats));
+		$stats[] = "User ID: {$duser->id}";
 
 		$page->set_title("{$duser->name}'s Page");
 		$page->set_heading("{$duser->name}'s Page");