On Thu, 07 Aug 2014 01:41:58 +0200, Bartosz Dziewoński
<matma....@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.
--
Matma Rex
_______________________________________________
Wikitech-l mailing list
Wikitech-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikitech-l
