https://bugzilla.wikimedia.org/show_bug.cgi?id=36094
MZMcBride <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |[email protected] --- Comment #2 from MZMcBride <[email protected]> 2012-06-02 02:21:00 UTC --- (In reply to comment #1) > That preference doesn't exist in trunk It's in an extension (cf. <https://www.mediawiki.org/wiki/Special:Code/MediaWiki/114004>). At what point was Wikimedia's git branch for this extension created? And more generally, I'm not sure how user prefs are set from an extension. Do you use https://www.mediawiki.org/wiki/Manual:$wgDefaultUserOptions or some other method? -- 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
