Fix problem where cached user objects would not update when default user options...
authorAndrew Garrett <werdna@users.mediawiki.org>
Mon, 27 Apr 2009 03:51:07 +0000 (03:51 +0000)
committerAndrew Garrett <werdna@users.mediawiki.org>
Mon, 27 Apr 2009 03:51:07 +0000 (03:51 +0000)
commitcfcb8b4789bad1f6c83502df1da1b1001041d52a
tree5064b930fbd2762ec9c9e50076495245904df34c
parent6309f0266de1c2498bf2c1cff14bcb44c8a1e614
Fix problem where cached user objects would not update when default user options were changed. Now, only the option *overrides* are stored in the cache, and the options themselves are built from the defaults + overrides per request.
includes/User.php