On Fri, Apr 24, 2009 at 05:59, Andrew Garrett <agarr...@wikimedia.org> wrote: > I'd like to look towards trimming some of the existing preferences > that are no longer relevant, and adding new preferences as common > sense dictates.
Can I suggest adding a "preferred editor" preference? Ideally, it should be a dropdown box (given the variety of existing visual editors <http://usability.wikimedia.org/wiki/Environment_Survey/MediaWiki_Extensions/Nomination#Editing>, an admin might wish to install more than one), but a simple "disable the visual editor" checkbox is probably enough for most setups (and simpler to maintain). Thanks, bye -- Jacopo Corbetta j.corbe...@sssup.it jacopo.corbe...@gmail.com WYMeditor MediaWiki integration: http://www.mediawiki.org/wiki/Extension:MeanEditor _______________________________________________ Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l
