On Thu, 07 Aug 2014 01:41:58 +0200, Bartosz Dziewoński matma.rex@gmail.com wrote:
We have an mediawiki/extensions.git meta repository. To avoid conflicts with MediaWiki core's extensions directory (…)
I always advocate people set up an extensions directory on their disk elsewhere (e.g. next to mediawiki-core, not inside), either as the meta repo clone or as your own container directory with git clones of individual extensions inside of it. Then simply configure $wgExtensionAssetsPath to point at localhost/git/extensions or whatever and require_once in LocalSettings from ../extensions instead.
This is possible with skins in exactly the same way, but instead of $wgExtensionAssetsPath you configure $wgStylePath.
The 'common' directory might be a bit problematic here. I think we should just get rid of it once and for all and put the assets in resources/ where they belong.
I filed a bug to track this and I'm actively working on it.
https://bugzilla.wikimedia.org/show_bug.cgi?id=69277
There is a bit of a problem as to where to put the static assets now; I have a pending patch where I try to introduce a directory for them: https://gerrit.wikimedia.org/r/#/c/155771/ – comments welcome.