[Mediawiki-l] Where are user options cached?

[John W. Foster]

On Mon, 2011-09-19 at 14:44 +0000, Daniel Barrett 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
> 
> 
> _______________________________________________
> MediaWiki-l mailing list
> MediaWiki-l at lists.wikimedia.org
> https://lists.wikimedia.org/mailman/listinfo/mediawiki-l

Its been a while but at one time each individual user could set up the
type of skin they wanted to view on their system, in their preferences,
If (I think) they are logged in to the Mediawiki.
-- 
John W. Foster