[MediaWiki-commits] [Gerrit] Updating ExtDist to master - change (mediawiki/core)

2014-11-20 Thread Chad (Code Review)
Chad has uploaded a new change for review. https://gerrit.wikimedia.org/r/174747 Change subject: Updating ExtDist to master .. Updating ExtDist to master Change-Id: Ib2eab97fc09444565df4779e3264a7dce7248276 --- M

[MediaWiki-commits] [Gerrit] Updating ExtDist to master - change (mediawiki/core)

2014-11-20 Thread Chad (Code Review)
Chad has submitted this change and it was merged. Change subject: Updating ExtDist to master .. Updating ExtDist to master Change-Id: Ib2eab97fc09444565df4779e3264a7dce7248276 --- M extensions/ExtensionDistributor 1 file