On Wed, Jun 4, 2014 at 10:29 AM, Legoktm <legoktm.wikipe...@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 > $IP/extensions.
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 > configuration. 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. _______________________________________________ Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l
