On Tue, Feb 9, 2016 at 12:21 AM Stephan Gambke s7eph4n@gmail.com wrote:
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
Github's your best option unless ExtensionDistributor got the ability to do snapshots of arbitrary branches/tags/sha1s.
-Chad