show user ID number

This commit is contained in:
Shish 2010-03-05 03:46:29 +00:00
parent 7efc4a0dfe
commit 69bfc1868e

View File

@ -133,6 +133,7 @@ class UserPageTheme extends Themelet {
public function display_user_page(User $duser, $stats) { public function display_user_page(User $duser, $stats) {
global $page, $user; global $page, $user;
assert(is_array($stats)); assert(is_array($stats));
$stats[] = "User ID: {$duser->id}";
$page->set_title("{$duser->name}'s Page"); $page->set_title("{$duser->name}'s Page");
$page->set_heading("{$duser->name}'s Page"); $page->set_heading("{$duser->name}'s Page");