Fixed bug caused by unset( $this->mSkin ) in User::setOption which was removing the...

diff --git a/includes/User.php b/includes/User.php
index c06abff..3d4d876 100644 (file)
--- a/includes/User.php
+++ b/includes/User.php
@@ -2006,7 +2006,7 @@ class User {
 
                if ( $oname == 'skin' ) {
                        # Clear cached skin, so the new one displays immediately in Special:Preferences
-                       unset( $this->mSkin );
+                       $this->mSkin = null;
                }
 
                // Explicitly NULL values should refer to defaults