Jacopo Corbetta wrote: > 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.
Extensions can add their own preferences more easily now. Adding a default preference to turn off a feature that doesn't yet exist in MediaWiki core doesn't make much sense. -- Alex (wikipedia:en:User:Mr.Z-man) _______________________________________________ Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l