From c7eb0cd99d62454642b71d6c61ea32b0c03174e0 Mon Sep 17 00:00:00 2001
From: Shish <shish@shishnet.org>
Date: Sat, 23 Jan 2010 12:39:27 +0000
Subject: [PATCH] redundant declaration

---
 ext/user/main.php | 2 --
 1 file changed, 2 deletions(-)

diff --git a/ext/user/main.php b/ext/user/main.php
index 5c43840d..bde159da 100644
--- a/ext/user/main.php
+++ b/ext/user/main.php
@@ -43,8 +43,6 @@ class UserCreationEvent extends Event {
 class UserCreationException extends SCoreException {}
 
 class UserPage extends SimpleExtension {
-	var $theme;
-
 	public function onInitExt(Event $event) {
 		global $config;
 		$config->set_default_bool("login_signup_enabled", true);