On Fri, Apr 24, 2009 at 19:04, Trevor Parscal <tpars...@wikimedia.org> wrote: > While from a user's perspective the various editors seen on the page you > linked to appear to be drop-in replacements for the current plain text > solution, I can assure you that there are many other reasons for not yet > deploying them on Wikipedia that go far beyond our ability to provide > users with a preference to turn them off.
Many wikis use MediaWiki beside Wikipedia. > An existing example of us providing users with such an option however > can be seen in the ability to turn various editing-related gadgets such > as wikiEd. I think this shows that should a more visual editing > interface become able to be deployed, we certainly would make it optional. Exactly. Each editor has its own incompatible setting which allows it to be turned on or off. Basically, each extension assumes it is going to be the one and only one editor for the wiki. If you install more than one, things will break. A unified preference might have been useful. Anyway, no big deal. 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
