https://bugzilla.wikimedia.org/show_bug.cgi?id=42068

--- Comment #12 from Robin Pepermans (SPQRobin) <[email protected]> 
2012-11-15 21:57:31 UTC ---
(In reply to comment #11)
> The problem is the following line (current WikimediaIncubator extension
> master):
> 
> IncubatorTest.php:51
> $wgDefaultUserOptions[$wmincPref . '-project'] = 'none';
> 
> I don't really know what it does, in case it can't be (easily) changed, we 
> need
> a way to invalidate the User::getDefaultOptions() cache. I'm happy to 
> implement
> that, if needed.

Well, it does what the name says: it sets default user options. As far as I
know, it is/was an allowed way to set this through a GetPreferences hook
function. At least it probably is/was done in other extensions too. I can move
it to WikimediaIncubator.php but then I'll have to remove the $wmincPref
variable.

-- 
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
You are on the CC list for the bug.

_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l

Reply via email to