On Wed, Jun 4, 2014 at 10:29 AM, Legoktm <legoktm.wikipedia(a)gmail.com> wrote:
== Extension locations ==
We agreed that we should require extensions to all be in the same directory,
but that directory should be configurable. By default it will point to
How about a library that registers resources in ResourceLoader (we
have that a lot for Wikidata.org)? Currently they would be installed
to $IP/vendor. Should they all be regarded as a MediaWiki extension
just because they (also) support ResourceLoader?
[…] IMO MediaWiki should do the extension
loading on its own, and not require the user to put a function call in their
I'm not too sure about that one. I think having the code for something
installed without actually running it has its use cases. For example,
you find an issue with an extension but have no time to investigate it
right now. Having all extensions automatically loaded if they are
present would force you to uninstall the extension to disable it.