[MediaWiki-commits] [Gerrit] mediawiki...ApprovedRevs[master]: Added extension.json

2017-12-05 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/395618 ) Change subject: Added extension.json .. Added extension.json Change-Id: I0ea86b25ab0bd21f124753ac4817c01d3b5aa4aa --- M

[MediaWiki-commits] [Gerrit] mediawiki...ApprovedRevs[master]: Added extension.json

2017-12-05 Thread Yaron Koren (Code Review)
Yaron Koren has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/395618 ) Change subject: Added extension.json .. Added extension.json Change-Id: I0ea86b25ab0bd21f124753ac4817c01d3b5aa4aa --- M