https://bugzilla.wikimedia.org/show_bug.cgi?id=25281
Trevor Parscal <tpars...@wikimedia.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
--- Comment #11 from Trevor Parscal <tpars...@wikimedia.org> 2010-09-24
22:13:28 UTC ---
This has been solved in r73686, which supports both embedding the user options
into the page using an inline script, or accessing them through ResourceLoader,
in which case server caching is bypassed. In both cases the user parameter in
the resource request is checked against $wgUser, and default user options are
used in case of mismatch.
--
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
