Fix sneaky memcached issue which was preventing successful user option migration

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