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 s7eph4n@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=someTa...
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