From 0bfafe0e9a2acf5a18a83b197b0400b3d975938b Mon Sep 17 00:00:00 2001
From: Shish <webmaster@shishnet.org>
Date: Sun, 4 Jan 2009 11:41:03 -0800
Subject: [PATCH] classy

---
 ext/user/theme.php | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/ext/user/theme.php b/ext/user/theme.php
index 7bdbb349..f26c8809 100644
--- a/ext/user/theme.php
+++ b/ext/user/theme.php
@@ -118,7 +118,7 @@ class UserPageTheme extends Themelet {
 		}
 	}
 
-	protected function build_stats($duser) {
+	protected function build_stats(User $duser) {
 		global $database;
 		global $config;
 
@@ -142,7 +142,7 @@ class UserPageTheme extends Themelet {
 			";
 	}
 
-	protected function build_options($duser) {
+	protected function build_options(User $duser) {
 		global $database;
 		global $config;
 
@@ -162,7 +162,7 @@ class UserPageTheme extends Themelet {
 		return $html;
 	}
 
-	protected function build_more_options($duser) {
+	protected function build_more_options(User $duser) {
 		global $database;
 		global $config;