From: Andrew Garrett <werdna@users.mediawiki.org>
Date: Fri, 24 Apr 2009 08:35:33 +0000 (+0000)
Subject: Fix sneaky memcached issue which was preventing successful user option migration
X-Git-Tag: 1.31.0-rc.0~42058
X-Git-Url: http://git.cyclocoop.org/%22.%24h.%22?a=commitdiff_plain;h=f64e5295c97b3170801bff0dcb611af0f0e2efb1;p=lhc%2Fweb%2Fwiklou.git

Fix sneaky memcached issue which was preventing successful user option migration
---

diff --git a/includes/User.php b/includes/User.php
index ae6bcacff4..bcd9c66771 100644
--- a/includes/User.php
+++ b/includes/User.php
@@ -120,6 +120,7 @@ class User {
 		'mGroups',
 		// user_properties table
 		'mOptions',
+		'mOptionsLoaded',
 	);
 
 	/**