https://bugzilla.wikimedia.org/show_bug.cgi?id=41672
MZMcBride <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- URL| |https://www.mediawiki.org/w | |iki/Personal_tools --- Comment #7 from MZMcBride <[email protected]> 2012-11-02 18:53:46 UTC --- (In reply to comment #4) > Turns out I couldn't find any docs about the personal tools on mediawiki.org, > so started https://www.mediawiki.org/wiki/Personal_tools which may be > appropriate as discussion space. Nice start. :-) I think the purpose/scope of the page is currently a bit murky, though. In my opinion, the page is leaning toward being a [[mw:Requests for comment]] subpage (it feels more like a temporary design document used to explain an upcoming change to the software), but could also be turned into a Manual page (where it would provide general help to end users regarding personal tools). Ideally we'd have both types of pages, but not in a single document. -- 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
