;Jeroen De
Dauw [jeroended...@gmail.com]
Gesendet: Donnerstag, 31. Juli 2014 19:34
An: Wikimedia developers
Cc: MediaWiki announcements and site admin list
Betreff: Re: [MediaWiki-l] [Wikitech-l] ExtensionDistributor updates on
mediawiki.org
Hey,
\o/
Feature request 1: be able to download specifi
Hey,
\o/
Feature request 1: be able to download specific versions of extensions
based on the tags their provide.
Feature request 2: include dependencies defined in composer.json.
Feature request 3: be able to specify a bunch of extensions to download and
have a compat check be done (based on th
On 30 July 2014 21:25, Legoktm wrote:
> Hi,
>
> Tomorrow a major update[1] will be deployed for the ExtensionDistributor
> extension on mediawiki.org. We will start fetching branch information
> directly from Gerrit instead of relying on Github. Additionally,
> tarballs will be served from extdis
