I now used https://github.com/wikimedia/mediawiki-extensions-FooBar/archive/someTag.zip Github will put the files in a folder named mediawiki-extensions-FooBar-someTag, which is not ideal, but better than risking a mess in the .../extensions folder. If there is a better solution I'd still be interested.
Stephan On 8 February 2016 at 23:51, Stephan Gambke <s7ep...@gmail.com> wrote: > It is possible to download extensions in ZIP format from the WMF repo > using a link like this: > > > http://git.wikimedia.org/zip/?r=mediawiki/extensions/FooBar.git&h=someTag&format=zip > > However, this will produce a package with the extension's files in its > root folder. An unsuspecting user will probably simply extract this > package into the .../extensions folder with all its files ending up > there instead of in the extensions subfolder. > > The ExtensionDistributor will provide correctly built packages, but it > is apparently only working on MW release tags, e.g. REL1_26. > > Is there any way to download correctly built packages with tags other > than the MW relases? > > Stephan _______________________________________________ Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l