On Fri, May 6, 2011 at 10:56 AM, Trevor Parscal <tparscal(a)wikimedia.org> wrote:
Moving WikiEditor into core would involve...
Straightforward changes
- Move the contents of the WikiEditor modules folder to
resources/jquery.wikiEditor/ and resources/wikiEditor (removing the "ext."
from files that have it)
- Move the module registrations to resources/Resources.php
- Distribute messages in WikiEditor.i18n.php into core message files
- Move configurations in WikiEditor.php to DefaultSettings.php
Messy changes
- Put the logic for adding preferences somewhere
- Put the logic for adding modules to edit pages based on preferences
somewhere
This results in the WikiEditor code no longer being all in one place. I have
always thought that was a downside.
Why don't we have a modules system, where extensions are simply
integrated as is into core? Basically, extensions that are found to be
essential for MediaWiki could be moved from /extensions to /modules,
only needing to change small portions of code to fix references to the
directory.
- Ryan