On Fri, Apr 24, 2009 at 05:59, Andrew Garrett <agarrett(a)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.corbetta(a)sssup.it
jacopo.corbetta(a)gmail.com
WYMeditor MediaWiki integration:
http://www.mediawiki.org/wiki/Extension:MeanEditor