https://bugzilla.wikimedia.org/show_bug.cgi?id=36094
MZMcBride <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|RESOLVED |REOPENED Resolution|INVALID | --- Comment #5 from MZMcBride <[email protected]> 2012-06-02 03:19:29 UTC --- (In reply to comment #4) > (In reply to comment #2) > > (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? > > So it looks like r114004 got reverted by r114398. Then the Git migration > happened. Then Reedy moved the JS to the modules directory in this rev: > <https://gerrit.wikimedia.org/r/6340>. That's where they are now. Okay, just kidding. While r114398 reverted r114004, Roan remerged the code in <https://gerrit.wikimedia.org/r/3466>. The preference can be viewed here: <https://en.wikisource.org/wiki/Special:Preferences#mw-prefsection-editing>. It reads "Show header and footer fields...". The current default is OFF. The English Wikisource would like for the default to be ON. So for Reedy, the question is: how is a default user option from an extension like this set and can it be switched for the English Wikisource? (It may also be worth considering whether the extension's default to "off" is wise, but that's really a separate bug.) Re-opening for now. -- 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
