[Mediawiki-l] Where are user options cached?

Frederick Grose fgrose at gmail.com
Mon Sep 19 14:59:21 UTC 2011

On Mon, Sep 19, 2011 at 10:44 AM, Daniel Barrett <danb at vistaprint.com>wrote:

> After changing the default skin on our wiki from monobook to vector
> ($wgDefaultSkin = 'vector'), and deleting all 'skin' preference rows from
> the user_options table, a few of our wiki users still see the old skin,
> monobook. Where is this setting cached?
> Things that did not help (monobook still shows):
> *       Logging out and logging back into the wiki
> *       Hard-refreshing the browser (ctrl-F5)
> *       ?action=purge
> *       Using a different browser (e.g., Chrome instead of Firefox)
> What worked:
> *       Visiting Special:Preferences and simply clicking Save.
> So this caching, whatever it is, happens at the user account level, not the
> browser level. Where does it exist and how do you clear it?
> Thanks for any info,
> DanB

refers to a userOptions.php that might cover this.


More information about the MediaWiki-l mailing list